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.