ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

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:00‑10:30 Coffee break
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
12:30‑14:00 Lunch
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:00‑15:30 Coffee break
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?