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.8.2.88
URN: urn:nbn:de:0030-drops-92912
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9291/
Go back to Dagstuhl Reports

Benenson, Yaakov ; Dalchau, Neil ; Koeppl, Heinz ; Maler, Oded
Weitere Beteiligte (Hrsg. etc.): Yaakov Benenson and Neil Dalchau and Heinz Koeppl and Oded Maler

Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)

pdf-format:
dagrep_v008_i002_p088_18082.pdf (0.7 MB)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 18082 "Formal Methods for the Synthesis of Biomolecular Circuits". Synthetic biology aims for the rational bottom-up engineering of new biological functionalities. Recent years have witnessed an increase in the degree of "rationality" in the design of synthetic biomolecular circuits. With it, fewer design-build-test cycles were necessary to achieve a desired circuit performance. Most of these success stories reported the realization of logic circuits, typically operating via regulation of gene expression and/or direct manipulation of DNA sequences with recombinases, executing combinatorial and sometimes sequential logic. This was often achieved with the help of two ingredients, a library of previously well-characterized parts and some computational modeling. Hence, although circuits in synthetic biology are still by far less understood and characterized than electronic circuits, the opportunity for the formal synthesis of circuit designs with respect to a behavioral specification starts to emerge in synthetic biology.

BibTeX - Entry

@Article{benenson_et_al:DR:2018:9291,
  author =	{Yaakov Benenson and Neil Dalchau and Heinz Koeppl and Oded Maler},
  title =	{{Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)}},
  pages =	{88--100},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  editor =	{Yaakov Benenson and Neil Dalchau and Heinz Koeppl and Oded Maler},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9291},
  URN =		{urn:nbn:de:0030-drops-92912},
  doi =		{10.4230/DagRep.8.2.88},
  annote =	{Keywords: Synthetic biology, Electronic design automation, Program synthesis and verification}
}

Keywords: Synthetic biology, Electronic design automation, Program synthesis and verification
Collection: Dagstuhl Reports, Volume 8, Issue 2
Issue Date: 2018
Date of publication: 23.07.2018

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