| TIME |
SPEAKER |
EVENT |
| 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 |
| TIME |
SPEAKER |
EVENT |
| 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 |
François 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 |
|
Light Dinner |
