SYNT 2014 - 3rd Workshop on Synthesis

A natural progress from checking the correctness of code is to synthesize software from its formal specification. While it is widely believed that, due to complexity/undecidability issues, software synthesis cannot completely replace programmers, it can still assist the process of designing the intricate pieces of code that most programmers find challenging.
Synthesis has recently progressed substantially and is starting to become a viable research area with vast potential for practical applications. This kind of research exists well alongside conferences on formal methods and verification, such as CAV, which aim at improving the reliability of systems. This workshop aims at bringing together and providing an open platform for researchers interested in synthesis.
Topics of Interest
Topics of interest include, but are not limited to:
synthesis algorithms and tools
specification languages and optimization in synthesis
complexity and impossibility results for synthesis
case studies of software or hardware synthesis
connections between verification and synthesis