http://www.dagstuhl.de/12462

11. – 16. November 2012, Dagstuhl Seminar 12462

Symbolic Methods for Chemical Reaction Networks

Organisatoren

Francois Boulier (University of Lille I, FR)
Anne J. Shiu (University of Chicago, US)
Thomas Sturm (MPI für Informatik – Saarbrücken, DE)
Andreas Weber (Universität Bonn, DE)


1 / 2 >

Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl Report, Volume 2, Issue 11 Dagstuhl Report
Teilnehmerliste
Gemeinsame Dokumente
Dagstuhl's Impact: Dokumente verfügbar
Programm des Dagstuhl Seminars [pdf]

Summary

Systems of differential equations and hybrid systems more generally are prevalent in chemical engineering and systems biology. The analysis of such systems focuses on resolving their dynamical properties, for instance, determining their equilibria and capacity for multistationarity or Hopf bifurcations. The additional tasks of parameter estimation, model reduction, and model inference are also relevant for these systems. These goals are difficult in general, especially due to the large size of these systems, especially those arising in systems biology. Non-numeric methods are essential in this context, because reaction parameters can vary over a wide range, parameter uncertainty is predominant in systems biology, and even the qualitative behavior of a system typically varies among different regions of the parameter space. Two major lines of research in this area are represented by chemical reaction network theory and stoichiometric network analysis. Our Dagstuhl seminar brought together researchers from both of these research areas, as well as researchers in symbolic computation and those on the application side (chemical engineering and systems biology). The aim of our seminar was twofold: to introduce practitioners to existing relevant theory and software from symbolic computation, and to allow participants to pose current computational challenges in this area, in order to spur development of symbolic computation methods to resolve these problems. To this end, collaborative working groups on various related topics were held throughout the week.

Classification

  • Bioinformatics
  • Modelling / Simulation
  • Verification / Logic

Keywords

  • Symbolic computation
  • Chemical reaction network theory
  • Stoichiometric network analysis
  • Qualitative analysis
  • Regulatory interactions

Buchausstellung

Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.