TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 12462

Symbolic Methods for Chemical Reaction Networks

( 11. Nov – 16. Nov, 2012 )

(zum Vergrößern in der Bildmitte klicken)

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/12462

Organisatoren

Kontakt



Programm

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.


Teilnehmer
  • Francois Boulier (University of Lille I, FR)
  • Christopher W. Brown (U.S. Naval Academy - Annapolis, US) [dblp]
  • Carsten Conradi (MPI - Magdeburg, DE)
  • Gheorghe Craciun (University of Wisconsin - Madison, US)
  • Alicia Dickenstein (University of Buenos Aires, AR) [dblp]
  • Andreas Eggers (Universität Oldenburg, DE)
  • Ralf Markus Eiswirth (FHI - MPG Berlin, DE)
  • Hassan Errami (Universität Bonn, DE)
  • François Fages (INRIA - Le Chesnay, FR) [dblp]
  • Elisenda Feliu (University of Copenhagen, DK)
  • Holger Fröhlich (Universität Bonn, DE) [dblp]
  • Vladimir Gerdt (JINR, LIT - Dubna, RU)
  • Manoj Gopalkrishnan (TIFR Mumbai, IN)
  • Dimitry Grigoriev (Lille I University, FR) [dblp]
  • Daniel Kaschek (Universität Freiburg, DE)
  • Marek Kosta (MPI für Informatik - Saarbrücken, DE) [dblp]
  • Francois Lemaire (Lille I University, FR)
  • Stefan Müller (RICAM - Linz, AT)
  • Sabine Peres (University of Paris South XI, FR)
  • Adrien Poteaux (Lille I University, FR)
  • Nicole Radde (Universität Stuttgart, DE)
  • Georg Regensburger (RICAM - Linz, AT)
  • Satya Swarup Samal (B-it - Bonn, DE)
  • Karsten Scheibler (Universität Freiburg, DE) [dblp]
  • Igor Schreiber (Institute of Chemical Technology - Prague, CZ)
  • Stefan Schuster (Universität Jena, DE)
  • Werner M. Seiler (Universität Kassel, DE)
  • Anne J. Shiu (University of Chicago, US)
  • Thomas Sturm (MPI für Informatik - Saarbrücken, DE) [dblp]
  • Jan H. van Schuppen (VSCR - Amsterdam, NL) [dblp]
  • Andreas Weber (Universität Bonn, DE) [dblp]

Klassifikation
  • bioinformatics
  • modelling / simulation
  • verification / logic

Schlagworte
  • Symbolic computation
  • chemical reaction network theory
  • stoichiometric network analysis
  • qualitative analysis
  • regulatory interactions