License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.1.4.41
URN: urn:nbn:de:0030-drops-31975
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2011/3197/
Go back to Dagstuhl Reports

Breitling, Rainer ; Uhrmacher, Adelinde M. ; Bruggeman, Frank J. ; Priami, Corrado
Weitere Beteiligte (Hrsg. etc.): Rainer Breitling and Adelinde M. Uhrmacher and Frank J. Bruggeman and Corrado Priami

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)

pdf-format:
dagrep_v001_i004_p041_s11151.pdf (0.7 MB)

Abstract

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.

BibTeX - Entry

@Article{breitling_et_al:DR:2011:3197,
  author =	{Rainer Breitling and Adelinde M. Uhrmacher and Frank J. Bruggeman and Corrado Priami},
  title =	{{Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)}},
  pages =	{41--64},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  editor =	{Rainer Breitling and Adelinde M. Uhrmacher and Frank J. Bruggeman and Corrado Priami},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3197},
  URN =		{urn:nbn:de:0030-drops-31975},
  doi =		{10.4230/DagRep.1.4.41},
  annote =	{Keywords: Bioinformatics, systems biology, formal modeling, computational biology,  stochastic, model, simulation, checking, verification, abstraction, }
}

Keywords: Bioinformatics, systems biology, formal modeling, computational biology, stochastic, model, simulation, checking, verification, abstraction,
Freie Schlagwörter (englisch): petri nets, process algebra
Collection: Dagstuhl Reports, Volume 1, Issue 4
Issue Date: 2011
Date of publication: 12.08.2011

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI