Proceedings First Workshop on Synthesis

TL;DR

This paper presents the proceedings of the First Workshop on Synthesis, a platform for researchers to share advances in synthesis methods, held alongside CAV 2012 to foster collaboration in the field.

Contribution

It introduces the inaugural workshop dedicated to synthesis, providing a new open platform for researchers to exchange ideas and recent developments.

Findings

Gathered leading research on synthesis techniques

Facilitated collaboration among synthesis researchers

Highlighted emerging trends in synthesis methods

Abstract

This volume contains the proceedings of the First Workshop on Synthesis (SYNT 2012). The workshop is held is held in Berkeley, California, on June 6th and 7th, as a satellite event to the 24th International Conference on Computer Aided Verification (CAV 2012). SYNT aims at bringing together and providing an open platform for researchers interested in synthesis.