Day 1: Monday Oct 08 2007

• Opening remarks
• Hidde de Jong, INRIA, Qualitative simulation of bacterial stress responses [abstract] [slides]
• Jacques Demongeot, UJF-TIMC, Evolution and RNA relics [abstract] [slides]

• Hans Geiselmann, UJF, From gene expression to genetic regulatory networks [abstract] [slides]
• Grégory Batt, INRIA, Robustness analysis and tuning of synthetic gene networks [abstract] [slides]
• Adam Halasz, UPenn, Mesoscopic and stochastic phenomena illustrated in the lac operon [abstract] [slides]

Day 2: Tuesday Oct 09 2007

• René Thomas, ULB, Frontier diagrams: a global view of the structure of phase space [abstract] [slides]
• Denis Thieffry, Marseille Univ, Dynamical analysis of logical models of genetic regulatory networks [abstract] [slides]
• Gilles Bernot, Polytech'Nice, A discrete approach to model gene regulatory networks and the use of formal logic to propose new wet experiments [abstract] [slides]

• Heike Siebert, Berlin Univ, Logical modeling with time delays [abstract] [slides]
• Koret Hirschberg, Tel-Aviv Univ, Kinetic modeling and in vivo imaging applied to studying intracellular membrane transport and organelle dynamics [abstract] [slides]

• Thao Dang, Verimag, Reachability techniques for the analysis of dynamical systems models in biology [abstract] [slides]
• John Lygeros, ETH Zurich, Stochastic hybrid models for DNA replication in the fission yeast [abstract] [slides]

• David Harel, Weizmann, Beyond the gene [abstract] [slides]
• Hillel Kugler, Microsoft Research Cambridge, Modeling C. elegans Development - Progress and Challenge [abstract] [slides]
• Sol Efroni, NIH, Identification of key processes underlying cancer phenotypes using biologic pathway analysis [abstract] [slides]

Day 3: Wednesday Oct 10 2007

• Yves Pommier,  NIH, Molecular interaction diagrams [abstract] [slides]
• Jasmin Fisher, Microsoft Research Cambridge, Executable Biology: Successes and challenges [abstract] [slides]
• François Fages, INRIA, Formal verification and inference of biochemical reaction models [abstract] [slides]

• Eric Fanchon, CNRS-TIMC, Constraints-based methods for the qualitative modeling of biological networks [abstract] [slides]
• Michel Thellier, Rouen Univ, Functioning-dependent structures and the coordination between and within metabolic and signalling pathways [abstract] [slides]

• Oded Maler, CNRS-VERIMAG, The potential roles of informatics in systems biology [abstract] [slides]
• Amir Pnueli, Weizmann, Specifying Biological Systems as Reactive Systems: Some Observations [abstract] [slides]

• Frédéric Boyer, CEA Grenoble, A comparative transcriptomics approach for extracting transcriptional regulation knowledge about heavy metals stress-induced response in Arabidopsis thaliana [abstract] [slides]
• Nicolas Thierry-Mieg, CNRS-TIMC, Smart-pooling for interactome mapping [abstract] [slides]
• Panel discussion and concluding remarks