TITLE:

Temporal Logics and Biological Regulatory Networks


ABSTRACT:

This talk gives a rapid overview of some of the researches performed in
the "Epigenesis" working group of Genopole® at Évry since approximatively
3 years.
We revisit and propose several extensions of the framework for regulatory
networks proposed by René Thomas. Temporal Logics and formal methods from
researches in computer sciences play a central role here.  We show how formal
logic guides the conception of regulatory networks and allows to validate or
reject models automatically according to biological knowledge. Each of the
extensions defines a transition system (Kripke semantics) from which temporal
logic based formalisms (such as Model Checking) can be used in order to check
properties. We discuss the features, advantages and limitations of several
variants, most of them being instrumented by a prototype of software
environment.