Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)

Rainer Breitling, Frank J. Bruggeman, Corrado Priami & Adelinde Uhrmacher
This report documents the program and the outcomes of the Seminar 11151 `Formal Methods in Molecular Biology' that took place in Dagstuhl, Germany, on 10--15 Apr 2011. The most recent advances in Systems Biology were discussed, as well as and the contribution of computational formalisms to the modeling of biological systems, with the focus on stochasticity. About 30 talks were given. The participants formed 5 teams that worked on selected case studies. Two teams were...