Ecole Jeunes Chercheurs

«Modélisation formelle de réseaux de régulation biologique»

Tous les cours sont donnés en français
(Les transparents sont en lien via les titres des exposés)

Voir les moyens d'accès.

8h30-9h :: Accueil
9h-12h : (pause café à 10h30): Cours d'introduction : Réseaux génétiques de Thomas multivalués et logique temporelle (Gilles Bernot, I3S Sophia Antipolis) [+Article]
12h-15h30 :: Déjeuner et pause
15h30-19h : (pause café à 17h): Liens entre modélisation continue et modélisation discrètes des réseaux génétiques (Jean-Paul Comet, I3S Sophia Antipolis)
19h-19h30 :: Exposés courts des sujets de recherche des participants
19h30 :: Dîner

8h30-12h : (pause café à 10h): Cours d'introduction : modélisation par règles en BioChAM (François Fages, INRIA Rocquencourt)
12h-15h30 :: Déjeuner et pause
15h30-19h : (pause café à 17h): Contraintes de logique temporelle dans BioChAM (François Fages, INRIA Rocquencourt)
19h-20h :: Dîner
20h-21h :: Cours d'ouverture thématique (calcul formel) : Algèbre différentielle et modélisation en biologie (François Boulier, LIFL Lille) [+Poly]

8h30-12h : (pause café à 10h): Réseaux métaboliques et modes élémentaires (Stefan Schuster, Jena/Allemagne)
12h-15h :: Déjeuner et pause
15h-18h30 : (pause café à 16h45): Dynamique discrète des réseaux biologiques, cas des circuits de régulation (Élisabeth Rémy, IML Marseille)
18h45-19h15 :: Exposés courts des sujets de recherche des participants et démos d'outils
20h :
Dîner de Gala à l'Alycastre

8h30-12h : (pause café à 10h): Modélisation hybride discrète/continue et contraintes temporelles dans l'analyse des réseaux (Alexander Bockmayr, Berlin/Allemagne)
12h-15h30 :: Déjeuner et pause
15h30-19h : (pause café à 17h): Modélisation hybride et analyse dynamique des réseaux de régulation génétiques (Olivier Roux, Ecole Centrale de Nantes)
19h-20h :: Dîner
20h-21h :: Cours d'ouverture thématique : Interprétation abstraite dans BioChAM (François Fages, INRIA Rocquencourt)

8h30-12h : (pause café à 10h): Simulation stochastique et Pi calcul pour la modélisation en biologie (Cédric Lhoussaine, LIFL Lille)
12h-13h :: Déjeuner
13h-16h30 : (pause café à 14h45): Cours d'ouverture thématique (SMA) : Modélisation individu-centrée de systèmes biologiques complexes et application à la simulation de l'évolution des réseaux génétiques bactériens (Guillaume Beslon, INSA Lyon)