License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.7.11.28
URN: urn:nbn:de:0030-drops-86692
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/8669/
Go back to Dagstuhl Reports


Andersen, Jakob L. ; Flamm, Christoph ; Merkle, Daniel ; Stadler, Peter F.
Weitere Beteiligte (Hrsg. etc.): Jakob L. Andersen and Christoph Flamm and Daniel Merkle and Peter F. Stadler

Algorithmic Cheminformatics (Dagstuhl Seminar 17452)

pdf-format:
dagrep_v007_i011_p028_17452.pdf (3 MB)


Abstract

Dagstuhl Seminar 17452 "Algorithmic Cheminformatics" brought together leading researchers from both chemistry and computer science. The seminar was the second in a series of the Dagstuhl seminars and had a focus on concurrency theory as chemical systems are highly concurrent by nature. Within computer science we focused on formal approaches for chemistry and concurrency theory, including process calculi and Petri nets. The participants surveyed areas of overlapping interests and identified possible fields of joint future research.

BibTeX - Entry

@Article{andersen_et_al:DR:2018:8669,
  author =	{Jakob L. Andersen and Christoph Flamm and Daniel Merkle and Peter F. Stadler},
  title =	{{Algorithmic Cheminformatics (Dagstuhl Seminar 17452)}},
  pages =	{28--45},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{11},
  editor =	{Jakob L. Andersen and Christoph Flamm and Daniel Merkle and Peter F. Stadler},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/8669},
  URN =		{urn:nbn:de:0030-drops-86692},
  doi =		{10.4230/DagRep.7.11.28},
  annote =	{Keywords: Modelling, Simulation, Networks, Semantics / Formal Methods}
}

Keywords: Modelling, Simulation, Networks, Semantics / Formal Methods
Collection: Dagstuhl Reports, Volume 7, Issue 11
Issue Date: 2018
Date of publication: 28.03.2018


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