Course C-19: Formal Bio-Informatics
M2 Master
MPRI
, Paris,
Vincent Danos,
François Fages
, Vincent Schächter
2007-2008
Wiki of the course
Slides of François Fages lectures
:
Introductory talk
Formal molecules and reaction rules in BIOCHAM
Formal biological properties in temporal logic. Symbolic model-checking
Continuous dynamics. Kinetic models
Learning kinetic parameter values. Constraint-based model checking
Abstract interpretation for systems biology. Part I: Hierarchy of semantics. Part II: Types
(
pdf
)
Locations, transport and signaling
Inferring reaction rules from temporal logic properties
Protein structure prediction with constraint logic programming
Logical dynamical modelling of developmental regulatory networks
(Denis Thieffry)
Examinations:
nov. 2007
,
nov. 2006
.
News
: For its first participation, the
French team
wins the first prize of foundational research at the MIT iGEM 2007
competition
on synthetic biology using
Biocham
!