Computational Methods for Systemic and Synthetic Biology

M2 C2-19
Master Parisien de Recherche en Informatique MPRI, Paris,

François Fages, Vincent Schächter
Grégory Batt, Jean Krivine


Web page of the course C2-19 at MPRI.

Formal Cell Biology in BIOCHAM (tutorial) by François Fages and Sylvain Soliman. 8th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology. In memory of Nadia Busi. Bertinoro, Italy. Springer-Verlag, LNCS 5016. Mar. 2008.(pdf)

Slides of François Fages's lectures (2009-2010):

Examinations: Nov. 2009, Nov. 2008, Nov. 2007, Nov. 2006.

News: For its first participation, the French team was finalist and won the first prize of foundational research at the MIT iGEM 2007 competition on synthetic biology using Biocham

Slides of 2007-2008.