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.4.6.29
URN: urn:nbn:de:0030-drops-46839
Go back to Dagstuhl Reports

Rehof, Jakob ; Vardi, Moshe Y.
Weitere Beteiligte (Hrsg. etc.): Jakob Rehof and Moshe Y. Vardi

Design and Synthesis from Components (Dagstuhl Seminar 14232)

dagrep_v004_i006_p029_s14232.pdf (1 MB)


This report documents the program and the outcomes of Dagstuhl Seminar 14232 "Design and Synthesis from Components" which took place from June 1st to June 6th, 2014. The seminar aimed at bringing together researchers from the component-oriented design community, researchers working on interface theories, and researchers working in synthesis, in order to explore the use of component- and interface design in program synthesis. The seminar program consisted of 6 tutorial talks (1 hour) and 16 contributed talks (30 mins) as well as joint discussion sessions. This report documents the abstracts of the talks as well as summaries of discussion sessions.

BibTeX - Entry

  author =	{Jakob Rehof and Moshe Y. Vardi},
  title =	{{Design and Synthesis from Components (Dagstuhl Seminar 14232)}},
  pages =	{29--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Jakob Rehof and Moshe Y. Vardi},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-46839},
  doi =		{10.4230/DagRep.4.6.29},
  annote =	{Keywords: Component design, Component-based synthesis}

Keywords: Component design, Component-based synthesis
Collection: Dagstuhl Reports, Volume 4, Issue 6
Issue Date: 2014
Date of publication: 24.10.2014

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