We are deeply saddened by the loss of Prof. Amir Pnueli

Aim and Scope

Concurrent systems are notoriously hard to design, implement, and verify. Formal synthesis has been investigated in various contexts, but had limited success in practice. The increasing importance of concurrent 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.


PSY has been combined with SVARM. See the SVARM program.


PSY 2010 is supported by: