Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)

Breitling, Rainer and Bruggeman, Frank J. and Priami, Corrado and Uhrmacher, Adelinde M. (2011) Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.

Full text not available from this repository.
Official URL:


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 awarded prizes, for their efforts in analyzing and further elucidating published biological models.

Item Type: Other