4th Workshop on Logic and Systems Biology

June 29, 2012

associated with LICS 2012 in Dubrovnik


Modern biology has made great advances in our knowledge of the workings of organisms at the molecular level. Although there is still much to be learned in this area, many biologists believe that the next major effort in their discipline will be to understand how these cellular components work together, in much the same way that the components of a computer are integrated. This system-level knowledge is essential to solving important problems like understanding the causes of diseases and discovering new drugs. As models of biological systems grow in complexity, researchers are experiencing some of the same problems that beset software designers and computer engineers. The topics of this workshop reflect the interdisciplinary approach needed to solve these problems. Some of the lecturers are biologists who use computer models to develop and test their hypotheses, and others are computer scientists who are applying formal methods to build and analyze models of biological systems.

Confirmed speakers


9:00 -- 9:45 Paul Ruet Dynamics and structure of Boolean asynchronous networks
9:45 -- 10:30 Maria Luisa Guerriero Modelling prolactin signalling and its interactions with other cancer-related signalling pathways
10:30 -- 11:00 Coffee break
11:00 -- 11:45 Heinz Koeppl Inference of stochastic kinetics in the presence of cell-to-cell variability
11:45 -- 12:30 Glynn Winskel Graph rewriting and causality - the semantics of Kappa
12:30 -- 14:00 Lunch break
14:00 -- 14:45 Jim Faeder An exact hybrid particle/population approach for modeling biochemical systems
14:45 -- 15:30 Vincent Danos Equilibrium and Termination
15:30 -- 16:00 Tea break
16:00 -- 17:00 Group discussion

Programme Chairs

Russ Harmer, CNRS & Université Paris Diderot, France
James F. Lynch, Clarkson University, United States

Previous editions