Matinée du 31 mars. Demi journée du thème Informatique distribuée et calcul haute performance (IDCHP) de la Fédération Informatique de Lyon
Le 31 mars à 10h00 en virtuel. Informations de connexion vous serons communiqué à partir de votre mail d’inscription.
Informations disponibles également ici:https://perso.liris.cnrs.fr/xavier.urbain/idchp/
Séminaire IDCHP et…
Les demi-journées « IDCHP et… » mêlent exposés au cœur du thème et ouvertures à d’autres communautés.
Les exposés visent en général un public large et, si possible, jeune : la présentation des problématiques d’IDCHP va en effet de pair avec l’effort de formation et la motivation des vocations : la transmission d’une culture qui situe les compétences et offre les opportunités de collaboration. C’est l’ambition du thème.
Séminaire IDCHP et biologie
Matinée du mercredi 31 mars 2021
L’inscription est gratuite mais obligatoire sur le formulaire accessible [ici]
Les informations de connexion pour les exposés et discussions seront transmises aux inscrits.
Emmanuel Godard
Panorama des Modèles de Calcul Distribué : Des réseaux sans-fil aux systèmes biologiques. (A Distributed Computing Models Panorama : From wireless networks to biological systems)
We present a panorama of modern distributed computing models. These models are highly diverse being introduced for many different application contexts : internet communication networks, HPC, manycores machines, vehicular networks, etc. We show that there exists common notions to organize this variety and that most models are fortunately computationnaly equivalent to (variant of) others. We will in particular focus on an elegant model that has been defined and redefined in many contexts, from highly dynamic networks to shared registers. We also expose how distributed models can escape the digital world, going eg from wireless networks to biological systems.
Loïc Paulevé
Formal methods for capturing dynamics of biological networks
The prediction of behaviors of biological systems is a tremendous challenge at the intersection of multiple disciplines, including mathematics and computer science. Processes such as cellular differentiation involve many actors at the molecular and genetic level, and whereas global knowledge exists on their pairwise interactions, their observation provides limited information for devising a precise model. In this talk, I’ll give an overview of formal methods around the /qualitative/ modelling of dynamics of biological networks which offers coarse-grained but robust predictions. Motivated by applications in cellular reprogramming, I’ll focus on Boolean networks with questions related to the update schedule of nodes and its influence on reachability and stability properties.
Pour toutes questions merci de contacter Xavier Urbain et/ou Eddy Caron.
