Proceedings First Workshop on Synthesis
Logic in Computer Science
2012-07-04 v1 Formal Languages and Automata Theory
Software Engineering
Systems and Control
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.
Keywords
Cite
@article{arxiv.1207.0554,
title = {Proceedings First Workshop on Synthesis},
author = {Doron Peled and Sven Schewe},
journal= {arXiv preprint arXiv:1207.0554},
year = {2012}
}