Aim and Scope
Formal synthesis has been investigated in various contexts, but had limited success in practice. The increasing importance of software systems, and the inherent difficulty in verifying them postfactum, provide an exciting practical setting for investigation of formal synthesis.
The aim of this workshop is to bring together researchers to exchange and develop new ideas in all aspects of formal program synthesis, with emphasis on concurrent systems. We invite contributions from a wide spectrum of areas, ranging from basic theory to applied practical work.