Call for Papers
The workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The workshop aims to foster the development of frontier techniques in automating the development of computing systems and is inclusive in its interpretation of the term synthesis.
Topics of interest include, but are not limited to:
- algorithms and tools for software synthesis and reactive (discrete-time, timed, hybrid, ...) synthesis,
- specification languages and optimization in synthesis,
- complexity and decidability results for synthesis,
- case studies of software or hardware synthesis,
- connections between verification and synthesis,
- synthesis by model learning,
- connections between synthesis and inductive programming,
- new approaches or applications for synthesis,
- description and analysis of benchmark families for synthesis.
We welcome scientific contributions of the following forms:
- regular papers (max. 15 pages in EPTCS style, excluding references)
- tool papers (max. 7 pages in EPTCS style, excluding references)
Submitted regular and tool papers must be original and unpublished. Accepted papers will appear in the Electronic Proceedings in Theoretical Computer Science series; hence, submissions must be prepared in LaTeX using the EPTCS macro package. A special issue of the journal Acta Informatica will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the workshop. Submissions to it will be by invitation.
Submission URL:
Paper submission is done via easychair.org
Important dates:
- Abstract submission: May 1, 2017
- Paper submission:
May 1May 5, 2017 - Author notification: May 29, 2017
- Workshop: July 22, 2017