10.4230/DAGREP.1.4.41
Breitling, Rainer
Rainer
Breitling
Uhrmacher, Adelinde M.
Adelinde M.
Uhrmacher
Bruggeman, Frank J.
Frank J.
Bruggeman
Priami, Corrado
Corrado
Priami
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2011
Seminar Report
Bioinformatics
FOS: Computer and information sciences
systems biology
formal modeling
computational biology
stochastic
model
simulation
checking
verification
abstraction
petri nets
process algebra
2011
2011-08-12
2011-08-12
2011-08-12
en
urn:nbn:de:0030-drops-31975
10.4230/DagRep.1.4.0
2192-5283
2192-5283
Dagstuhl Reports (DagRep)
2011
1
4
3
41
64
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
24 pages
771673 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
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.
Dagstuhl Reports, Volume 1, Issue 4, pages 41-64