| 8h30 - 9h00 | Vincent Schächter, Genoscope : Welcome and introduction |
| Morning Session : bottom-up | |
| 9h00 - 9h30 | Vincent Danos, CNRS and University of Paris : Core Formal Molecular Biology |
| 9h30 - 10h00 | Ron Maimon, Gene Networks Science : The Diagrammatic Cell Language |
| 10h00 - 10h30 | Coffee Break |
| 10h30 - 11h00 | Jan Komorowski, Uppsala University : Boolean reasoning as a principled approach to modelling in biology |
| 11h00 - 11h30 | Na'aman Kam, Weizmann Institute : Formal modeling of C. elegans development: a scenario-based approach |
| 11h30 - 12h00 | Open Discussion |
| 12h00 - 13h00 | Lunch |
| Afternoon Session : top-down | |
| 13h00 - 13h30 | Magali Roux-Rouquié, Pasteur Institute : The Systemic Paradigm and its Relevance to the Modeling of Biological Functions -- conceptual and practical issues |
| 13h30 - 14h00 | François Fages, INRIA: Symbolic Model Checking of Biochemical Networks |
| 14h00 - 14h30 | Jan Ihmel, Weizmann Institute : Revealing Modular Organization in the Yeast Transcriptional Network |
| 15h00 - 15h30 | Coffee Break |
| 15h30 - 16h00 | Matthew Wright, Harvard University : 4-D Modeling of Bacterial Chromosome Structure. |
| 16h00 - 16h30 | Hamid Bolouri, Institute for Systems Biology : A framework for modeling developmental genetic regulatory networks |
| 16h30 - 18h00 | General Discussion |