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.
Sponsorship for the meeting comes from Microsoft.
Microsoft is a registered trademark of Microsoft Corporation