5ème réunion de l'ARC MOCA
22-23 novembre 2007
Institut Henri Poincaré - salle 05 (Paris)

Programme provisoire

Jeudi 22 novembre

10:30 - 10:45 Accueil
10:45 - 11:00 Sylvain Soliman (INRIA) -- Introduction
11:00 - 11:45 François Fages (INRIA) -- From reaction models to activation/inhibition influence models and back
11:45 - 12:30 Vincent Danos (PPS) -- Stochastic graph rewriting
12:30 - 14:00 Déjeuner
14:00 - 14:45 Aurélien Naldi et Adrien Fauré (MRS) -- Nouvelles fonctionnalités de GINsim et application au modèle cycle cellulaire levure
14:45 - 15:30 Sylvain Soliman (INRIA) -- P-invariants for biological networks: modules and more...
15:30 - 16:00 Pause café
16:00 - 16:45 Aurélien Mazurie (Pasteur) -- An evolutionary and functional assessment of regulatory network motifs
16:45 - 17:30 Discussion
19:30 - 22:00 Dîner au Bouillon Racine (Plan d'accès)

Vendredi 23 novembre

10:00 - 10:45 Grégory Batt (INRIA) -- Compositional verification
10:45 - 11:00 Pause café
11:00 - 11:45 Laurence Calzone et Andrei Zinovyev (Curie) -- Compositionality in BiNoM, a tutorial
11:45 - 12:15 Sriram Krishnamachari (INRIA) -- Mutual inhibition vs. mutual activation
12:15 - 14:00 Déjeuner
14:00 - 16:00 Discussion - Clôture

Rocquencourt: Sylvain Soliman, François Fages, Sriram Krishnamachari, Grégory Batt
Marseille: Claudine Chaouiya, Denis Thieffry, Aurélien Naldi, Adrien Fauré
Rennes: Anne Siegel
PPS: Vincent Danos
Curie: Laurence Calzone, Emmanuel Barillot, Andrei Zinovyev
Polytechnique: Fabien Tarissan
Pasteur: Aurélien Mazurie (jeudi après-midi seulement)

Last modified : Wednesday November 14, 2007