LOFLSESYJul 3, 2012

Proceedings First Workshop on Synthesis

arXiv:1207.0554v1
Originality Synthesis-oriented
AI Analysis

This is an incremental contribution, as it documents a workshop proceedings without introducing new research findings.

This paper presents the proceedings of the First Workshop on Synthesis (SYNT 2012), which was held as a satellite event to the CAV 2012 conference to provide an open platform for researchers interested in synthesis.

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.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes