SYNT 2015: 4th Workshop on Synthesis (with CAV), 18 July 2015
SYNT 2015 is a full-day workshop on Saturday 18 July 2015, collocated with the
International Conference on Computer-Aided Verification (CAV), San Francisco, California.
The above link to CAV page contains local information.
Room Fillmore B, San Francisco Grand Hayat Hotel Union Square
SYNT 2015 program can be found here.
Click here to download PRE-proceedings
The abstracts for the invited talks are available here.
- 1 May 2015 (extended): Paper Submission,
through this link
- 2 June 2015: Notification of Acceptance/Rejection
- 10 June 2015: Workshop Early Registration Deadline
- 30 June 2015: Final version due of pre-proceedings papers in EPTCS format
- 18 July 2015: Workshop
- 20 August 2015: Final version for EPTCS post-proceedings
Scope and Topics of Interest
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
Contributions of interest may include algorithms,
complexity and decidability analysis, as well as
reproducible heuristics, implemented tools, and experimental
Application domains include software, hardware, embedded,
and cyberphysical systems. Computation models include
functional, reactive, hybrid and timed systems.
Identifying, formalizing, and evaluating synthesis in
particular application domains is encouraged.
Of interest are approaches that explore alternative
development methods, as well as approaches that improve upon the
automation of design, compilation, and optimization
techniques currently in widespread use.
All appropriate underlying methods are of interest,
including above formal methods and techniques that build
upon computer-aided verification, but also machine learning
and data mining techniques. All formalizable forms of specifications of
potential practical interest are considered, including
contracts, temporal logic specifications, quantitative
objectives, partial systems, and (possibly symbolic) input/output examples.
Of great interest is understanding and productively making
use of relationships between synthesis and related topics
such as repair, fault localization, testing, discovery (synthesis) of inductive
parameter optimization, constraints
solving, theorem proving (including SMT, superposition-based, inductive, and
higher-order theorem proving, as well as automated generation of lemmas and
Submitted papers must be original and unpublished.
Papers accepted for presentation at the workshop appeared in previous
years in the
Electronic Proceedings in Theoretical Computer Science series; hence, submissions must be prepared in LaTeX using
the EPTCS macro package (author preparation kit zip file). Submitted papers should be 4 to 16 pages long in EPTCS
style excluding references; within those page limits the
authors should use as many pages as is appropriate for their
The submission of workshop papers is
through this link
The final pre-proceedings version is due on 30 June 2015. You have up to 25 pages in the EPTCS format for your final version.
Please use your easychair account to upload the pre-proceedings version of your paper.
This version will be made available to workshop participants.
The final post-proceedings version will be due on 20 August 2015.
Note: revised versions of selected papers is expected to appear in a special issue of the
journal Acta Informatica (an example of a past special issue).
- Colin de la Higuera, Nantes University
- Rüdiger Ehlers, University of Bremen
- Bernd Finkbeiner, Saarland University
- Dana Fisman, University of Pennsylvania
- Carlo A. Furia, ETH Zurich
- Barbara Jobstmann, EPFL
- Daniel Neider, UIUC
- Doron Peled, Bar Ilan University
- Ingo Pill, TU Graz
- Ruzica Piskac, Yale
- Arjun Radhakrishna, University of Pennsylvania
- Leonid Ryzhyk, Carnegie Mellon University
- Sven Schewe, University of Liverpool
- Ute Schmid, University of Bamberg
- Johann Schumann, SGT, Inc/NASA Ames
- Rishabh Singh, Microsoft Research
- Douglas Smith, Kestrel Institute
- Armando Solar-Lezama, MIT
- Eran Yahav, Technion
- Steve Zdancewic, University of Pennsylvania
We are pleased to confirm sponsorship from the USA NSF project ExCAPE.
About SYNT Workshops
For past editions and general information please see the SYNT Workshops page.