2026-07-25T18:31:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3197 2024-03-06T10:25:41Z ddc:004 open_access

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151) Breitling, Rainer Uhrmacher, Adelinde M. Bruggeman, Frank J. Priami, Corrado Bioinformatics systems biology formal modeling computational biology stochastic model simulation checking verification abstraction petri nets process algebra 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Rainer Breitling and Adelinde M. Uhrmacher and Frank J. Bruggeman and Corrado Priami 2011 Is Part Of Dagstuhl Reports, Volume 1, Issue 4 (2011) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.1.4.41 urn:nbn:de:0030-drops-31975 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4.41 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode