  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.

Logic in Computer Science;Formal Languages and Automata Theory;Software Engineering;Systems and Control