SYNT 2014 - 3rd Workshop on Synthesis

July 23-24, 2014

co-located with the 26th International Conference on Computer Aided Verification

The idea of synthesis, i.e., the process of automatically computing implementations from their specifications, has recently gained a lot of momentum in the contexts of software engineering and reactive system design. While it is widely believed that, due to complexity/undecidability issues, synthesis cannot completely replace manual engineering, it can assist the process of designing the intricate pieces of code that most programmers find challenging, or help with orchestrating tasks in reactive environments.

This workshop aims at bringing together and providing an open platform for researchers interested in synthesis. Research on synthesis exists well alongside conferences on formal methods and verification, such as CAV, which aim at improving the reliability of systems. Driven by the vast potential for practical applications of synthesis, we aim at fostering scientific exchange not only within the areas of software and reactive synthesis, but also between them.

Topics of Interest

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 impossibility results for synthesis
case studies of software or hardware synthesis
connections between verification and synthesis

Support

The SYNT 2014 workshop is kindly supported by the Expedition in Computer Augmented Program Engineering (ExCAPE) project and the Austrian Rigorous System Engineering Network (RiSE).

Call for Papers

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. Papers accepted for presentation at the workshop will appear in the Electronic Proceedings in Theoretical Computer Science series; hence, submissions must be prepared in LaTeX using the EPTCS macro package. Given sufficient interest, extended versions of selected papers will appear in a special issue of the journal Acta Informatica.

Please submit your contributions using Easychair at https://www.easychair.org/conferences/?conf=synt2014.

Invited Speakers

Accepted Papers

Aaron Bohy, Véronique Bruyère and Jean-Francois Raskin. Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
Roderick Bloem, Rüdiger Ehlers, Swen Jacobs and Robert Koenighofer. How to Handle Assumptions in Synthesis
Romain Brenguier, Guillermo Perez, Ocan Sankur and Jean-Francois Raskin. AbsSynthe: abstract synthesis from succinct safety specifications
Rüdiger Ehlers and Vasumathi Raman. Low-effort Specification Debugging and Analysis
Adria Gascon and Ashish Tiwari. Synthesis of a simple self stabilizing system
Susmit Jha and Sanjit A. Seshia. Are There Good Mistakes? A Theoretical Analysis of CEGIS
Ayrat Khalimov, Swen Jacobs and Roderick Bloem. Parameterized Synthesis Case Study: AMBA AHB
Herbert Wiklicky. Program Synthesis and Linear Operator Semantics

Competitions/Special Session

Two competitions on synthesis will take place in the scope of the FLoC Olympic Games:

Syntax-Guided Synthesis Competition (SyGuS-COMP 2014)
Synthesis Competition (SYNTCOMP 2014)

Both competitions are affiliated with CAV 2014, but also have strong ties to the SYNT 2014 workshop. The workshop will have a special session for an in-depth presentation and discussion of the results of both competitions.

Important Dates

Paper submission:	May 1, 2014
Notification:	June 3, 2014
Camera ready version:	June 25, 2014
Workshop	July 23-24, 2014