Team Contraintes

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Application Domains

In-silico cell

In 2002 , we started a Collaborative Research Initiative ARC CPBIO on “Process Calculi and Biology of Molecular Networks”. By working on well understood biological models, we sought:

This work lead us to the design and implementation of the Biochemical Abstract Machine BIOCHAM that has the unique feature of providing formal languages corresponding to different qualitative and quantitative levels of abstraction for, on the one hand, modeling biomolecular interaction diagrams with reaction rules, and on the other hand, modeling the biological properties of the system in temporal logic. This double formalization of both the model and the biological properties of the system at hand opens several new research avenues on the design and systematic validation of biological models.

In the 6th PCRD STREP project APrIL II (2004-2007) the focus was on probabilistic inductive logic programming for metabolic networks and we developed semi-automatic methods for model completion/revision [28] from temporal logic specification of the system's behavior as observed in biological experiments [3] . In the Network of Excellence REWERSE (2004-2008), the focus was on the application of the new Semantic Web technologies based on rules and constraints to bioinformatics. In this context, we developped type inference and abstract interpretation techniques [4] to relate biological models at different levels of abstraction, providing a formal ground for reusing and combining models available on the web. In the ARC MOCA (2006-2007) on “MOdularity, Compositionality and Abstraction in gene and protein networks”, we studied with our partners the formal links between logical and numerical models of some parts of the cell cycle control, and modular decompositions based on control theory considerations [6] .

Currently, we develop these technologies and apply them to new biological questions which we investigate in partnerships with biologists in three projects. First, the EU STREP project TEMPO (2006-2009) on “temporal genomics for patient tailored chronotherapeutics”, coordinated by Francis Lévi INSERM Villejuif, where, in partnership with Jean Clairambault of the BANG project-team, we develop coupled models of the cell cycle, the circadian cycle and the effect of cytotoxic drugs in cancer therapies using BIOCHAM.

Second, the INRA AgroBi project INSIGHT , coordinated by Eric Reiter INRA Tours, where, in partnership with Frédérique Clément of the SISYPHE project-team, we develop models of FSH and GPCR signaling networks in mammalian cells. This research is now part of the AE REGATE coordinated by F. Clément SISYPHE.

Third, the AE COLAGE coordinated by Hughes Berry of the ALCHEMY project-team, with François Taddei, Ariel Lindner, INSERM Paris Necker, Hidde de Jong, Delphine Ropers, IBIS, J.L. Gouzé, and Madalena Chaves, COMORE, where we investigate the possibilities to control and reprogram growth and aging in bacteria E. coli using synthetic biology approaches.


Logo Inria