05. – 10. November 2017, Dagstuhl Seminar 17452

Algorithmic Cheminformatics


Jakob Lykke Andersen (Tokyo Institute of Technology, JP)
Christoph Flamm (Universität Wien, AT)
Daniel Merkle (University of Southern Denmark – Odense, DK)
Peter F. Stadler (Universität Leipzig, DE)

Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team


Gemeinsame Dokumente


Cheminformatics is the application of algorithms, combinatorial approaches, and formal methods from computer science to problems in chemistry. Although cheminformatics is an old research field and has thrived with the advances e.g. in machine learning techniques, it has drawn little from the rapid development of state-of-the-art theoretical computer science. The advance of the theoretical foundations of many aspects of cheminformatics on the basis of theoretical computer science is a sorely needed research endeavor that will serve to integrate ad hoc approaches motivated by chemical insight into coherent computational and algorithmic frameworks.

At the first Dagstuhl Seminar "Algorithmic Cheminformatics" in 2014 a wide range of topics were discussed in order to underline the significance of computer science for chemistry. Aiming at a triennial seminar series, we bring together researchers working in chemistry, cheminformatics, and most importantly the relevant fields in computer science related to it.

At this event, we specifically focus on the analysis of the behavior of chemical systems in terms of reaction networks. This includes both networks inferred from experimental data, as well as networks implicitly specified by for example formal grammars. We aim at integrating experts in concurrency theory, in particular using process calculi, Petri nets, and related formal approaches. State-of-the-art results in these fields are hardly used to infer qualitative and/or quantitative properties of chemical reaction systems, which are highly concurrent systems by nature. The majority of current modeling approaches in chemistry are either very abstract and aimed at formal algebraic properties of reaction networks, or use very fine grained modeling on the level of quantum mechanics where computational costs prevent handling of reaction systems larger than a few molecules. We therefore seek to advance discrete modeling approaches for Systems Chemistry including the notion of causality and concurrency. In addition to bringing together the experts in the respective fields from computer science, we will intentionally also invite wet-lab chemists in order to cross-fertilize the fields and generate mutually beneficial activities.

  Creative Commons BY 3.0 DE
  Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, and Peter F. Stadler

Related Dagstuhl Seminar


  • Networks
  • Semantics / Formal Methods


  • Process algebras
  • Petri nets
  • Concurrency theory
  • Graph transformation
  • Reaction networks


Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).


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).


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.