VSL 2014: VIENNA SUMMER OF LOGIC 2014
SYNT Home Page

July 23-24, 2014

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


News: We will have a special issue of the journal Acta Informatica on the 3rd Workshop on Synthesis. The call for papers can be found here. Deadline is the 1st of March 2015.


 

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

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.

Accepted Papers

The conference proceedings have been published by EPTCS as volume 157.

Invited Speakers

Competitions/Special Session

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

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

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).

Important Dates

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

Submission to SYNT 2014 is now closed.

Program Committee

Previous Editions of SYNT