June 4, 2008 –
June 5, 2008
Formal Methods in Systems Biology
Location: Microsoft Research Cambridge UK
Wednesday June 4, 2008
| 9:00 am | Jasmin Fisher | Welcoming Remarks |
| 9:30 am | David Harel | Some Comments on Genericity and Linkage in Modelling Biology |
| 10:30 am | Coffee Break | |
| Chair: Satoru Miyano | ||
| 11:00 am | Hillel Kugler | “Don’t Care” Modelling Extended |
| 11:30 am | Nir Piterman | Bounded Asynchrony for Modelling Biological Systems |
| 12.00 pm | Verena Wolf | Computational Probability for Systems Biology |
| 12:30 pm | Lunch | |
| Chair: Marta Kwiatkowska | ||
| 13:30 pm | Christopher Langmead | Formal Verification Under Parameter Uncertainty |
| 14:15 pm | Daniel Kroening | Identification of Glass Networks with Periodic Orbits |
| 15:00 pm | Coffee Break | |
| Chair: Amir Pnueli | ||
| 15:30 pm | Satoru Miyano | Cell System Markup Language and Cell Illustrator for Systems Biology Computational Platform |
| 16:15 pm | Wan Fokkink | Design Issues for Qualitiative Modelling of Biological Cells with Petri Nets |
| 18:30 pm | Punting | |
| 19:30 pm | Dinner |
Thursday June 5, 2008
| Chair: Stephen Emmott | ||
| 9:00 am | Sydney Brenner | Keynote Presentation: What is Systems Biology? |
| 10:00 am | Coffee Break | |
| Chair: David Harel | ||
| 10:30 am | Luca Cardelli | Molecules as Automata |
| 11:15 am | Andrew Phillips | Improving Modularity of Biological Processes in Stochastic Pi Calculus |
| 11:45 am | Marta Kwiatkowska | Combining Intra- and Inter-Cellular Dynamics to Investigate Intestinal Homeostasis |
| 12:30 pm | Lunch | |
| Chair: Adelinde Uhrmacher | ||
| 13:45 pm | Oded Maler | Approximating Continuous Systems by Timed Automata |
| 14:30 pm | Francois Fages | From Reaction Models to Influence Graphs and Back: Theorem |
| 15:15 pm | Coffee Break | |
| Chair: Luca Cardelli | ||
| 15:30 pm | Russell Harmer | Rule-Based Modelling of Cellular Signalling |
| 16:15 pm | Adelinde Uhrmacher | One Modelling Formalism and Simulator is not enough! A Computational Biology Approach Based on James II |
| 17:00 pm | Closing Remarks | |
| 17:30 pm | Light Dinner |