The field of Systems Biology deals with the complex interactions between various biological systems. Its main endeavor is to obtain a holistic understanding of biological systems such as a single cell, organ, or even a whole organism. A wealth of data about cellular processes has been collected through experiments. However, to fully exploit this data and to discover emergent properties of these systems, it has been recognized that techniques from formal modelling and analysis need to be employed. The inherently reactive and highly concurrent nature of biological systems coupled with the low cost of computer simulations when compared to in vivo experiments, has encouraged a vibrant collaboration between biologists and researchers in formal methods in the past decade.
This workshop aims to bring together the leading practitioners in the application of formal modelling and verification techniques to biological problems, to present their work and share their thoughts on the challenges facing the field.
Please visit the CAV for information about registration, visa, and travel.
Vincent Danos and Mahesh Viswanathan