Hi, you are logged in as , if you are not , please click here

Discrete models and formal verification in biology

Delegate Type
Optional Items

Event Information

Dates of Event
29th August 2018 – 31st August 2018
Last Booking Date for this Event
17th August 2018
Places Available

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.

Organised on behalf of MGMS

Event website

How would you rate your experience today?

How can we contact you?

What could we do better?

   Change Code