Past Events

Discrete Models and Formal Verification in Biology (MGMS)
From Wednesday 29 August 2018
To Friday 31 August 2018

A 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.

This is an externally organised event, the conference pages with more information can be reached here.