Proceedings of the Sixth Workshop on Synthesis (SYNT 2017)
Dana Fisman and Swen Jacobs (editors)
The idea of system synthesis, the process of automatically computing implementations from their specifications, dates back to Church 1957. For several decades, synthesis was considered impractical because of the high complexity of the solving algorithms. However, research on synthesis has recently gained a lot of momentum, with concrete applications showing that it can be useful, for instance, for designing the intricate pieces of code that most programmers find challenging, or for orchestrating tasks in reactive environments.
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system. Contributions of interest include algorithms, complexity and decidability analysis, as well as reproducible heuristics, implemented tools, and experimental evaluation. Application domains include software, hardware, embedded, and cyber-physical systems. Computation models include functional, reactive, hybrid and timed systems. Identifying, formalizing, and evaluating synthesis in concrete application domains is encouraged.
The sixth iteration of the workshop took place on July 22, 2017 in Heidelberg, Germany. It was co-located with the 29th International Conference on Computer Aided Verification. The program featured a keynote talk by Rupak Majumdar (Max Planck Institute for Software Systems), four contributed talks and three invited talks. In addition, it featured a special session about the Syntax-Guided Synthesis Competition (SyGuS-Comp) and the Reactive Synthesis Competition (SYNTCOMP).