Program of LSB

Saturday, July 10th

Saturday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Session 1
Chair: James F. Lynch
Location: IF 4.31+4.33
09:00 Marta Kwiatkowska (University of Oxford)
Probabilistic Model Checking for Systems Biology
10:30‑12:30 Session 2
Chair: James F. Lynch
Location: IF 4.31+4.33
10:30 Peter Gennemark (University of Gothenburg and Uppsala University)
Modelling Yeast Osmoregulation at Different Levels of Resolution
11:30 Ion Petre (Åbo Akademi University)
Molecular Self-Assembly Models of Variable Resolution
14:00‑15:00 Session 3
Chair: James F. Lynch
Location: IF 4.31+4.33
14:00 Jasmin Fisher (Microsoft Research Cambridge)
Bio-Logic: The Challenges Facing Formal Modelling of Biology
15:30‑17:30 Session 4
Chair: James F. Lynch
Location: IF 4.31+4.33
15:30 John K. Heath (University of Birmingham)
Protein Computing: a Phospho-Calculus?
16:30 Steven Watterson (University of Edinburgh)
Signalling Pathway Logic in the Immune Response. How Can We Make Complex Problems More Tractable?