Workshop on Synthesis (SYNT)

Elizabeth Polgreen, Guillermo A. PĂ©rez

Abstract: Synthesis from formal specifications is a research field with a broad range of methods and applications. Recent years have seen an increased interest in synthesis methods in general, and their practical application in particular. The Workshop on Synthesis aims to bring together researchers working on different aspects of formal synthesis.

Visit the workshop's website, or select an event below to watch its recording.