Towards a Logical Framework for Systems Biology

Joelle Despeyroux - INRIA Sophia-Antipolis
Thursday, September 14, 2017 - 10:30
Room Minquiers
Talk abstract: 

We advocates here the use of (mathematical) logic for systems biology, as a unified framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties.
The potential candidate logics should have a traditional proof theoretic pedigree (including a sequent calculus presentation enjoying cut-elimination and focusing), and should come with (certified) proof tools. Beyond providing a reliable framework, this allows the adequate encodings of our biological systems.
We have up to now two main candidate logics; both are modal extensions of linear logic.
The examples we have considered so far are very simple ones - coming with completely formal (interactive) proofs in Coq.
Future works includes using automatic provers, which will eventually extend existing automatic provers for linear logic. This should enable us to specify and study more realistic examples in systems biology and biomedicine.