Skip to content

29-31 August 2018, Murray Edwards College Cambridge


pathA fundamental feature of biological systems is the scale and complexity of the underlying networks. To understand this biocomplexity it will require the adoption of novel tools and concepts from computer science that allow the construction and analysis of models using techniques derived from the field of formal verification.

This meeting will bring together the community who are developing and applying formal methods in systems biology to discuss new advances in the field. The confirmed speakers come from fields of logical modelling, executable biology, and rule based models amongst others.

This meeting is organised by Ben Hall (MRC Cancer Unit, University of Cambridge) on behalf of MGMS.

Sponsorship for the meeting comes from Microsoft.


Microsoft is a registered trademark of Microsoft Corporation