### Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)

Francois Boulier, Anne J. Shiu, Thomas Strum & Andreas Weber
During 11--16 November 2012, the Dagstuhl Seminar 12462 Symbolic Methods for Chemical Reaction Networks'' was held in Schloss Dagstuhl -- Leibneiz Center for Informatics. The seminar brought together researchers in symbolic computation, chemical engineering, and systems biology. During the seminar, participants presented five-minute talks introducing their research interests, five participants gave longer talks, and all participants had the opportunity to take part in various discussion groups. Abstracts of presentations and summaries of the discussion groups...