Practical Synthesis for Concurrent Systems

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.

Organizers

• Amir Pnueli,
  New York University (NYU)

• Martin Vechev,
  IBM T.J. Watson Research Center

• Eran Yahav,
  IBM T.J. Watson Research Center

Videos

Program