SYNT 2012

1st Workshop on Synthesis

July 7th and July 8th, 2012, Berkeley, California, USA

Co-Located with the 24th International Conference on Computer Aided Verification
A natural progress from checking the correctness of code is to synthesize software from its formal specification. While it is widely believed that, due to complexity/undecidability issues, software synthesis cannot completely replace programmers, it can still assist the process of designing the intricate pieces of code that most programmers find challenging.
Synthesis has recently progressed substantially and is starting to become a viable research area with vast potential for practical applications. This kind of research exists well alongside conferences on formal methods and verification, such as CAV, which aim at improving the reliability of systems. This workshop aims at bringing together and providing an open platform for researchers interested in synthesis.

Topics of Interest

Topics of interest include, but are not limited to:
  • synthesis algorithms
  • synthesis tools
  • complexity and impossibility results for synthesis
  • case studies of software or hardware synthesis

Proceedings & Submission Guidelines

We accept
  • regular papers (max. 16 pages in EPTCS style),
  • tool papers (max. 7 pages in EPTCS style),
  • work-in-progress presentations, and
  • presentations of relevant but already published work.
Submitted regular and tool papers must be original and unpublished. Regular and tool papers accepted for presentation at the workshop will appear in the Electronic Proceedings in Theoretical Computer Science series; hence, submissions must be prepared in LaTeX using the EPTCS macro package. Submission accepted for presentation must be presented at the workshop by at least one of the authors. Extended versions of selected papers (including presentations) will appear in a special issue of Acta Informatica.

  • Submissions should be made electronically on the SYNT2012 Submission Page.
  • Manuscripts of full research papers are limited to a maximum of 16 pages (excluding technical appendices) in PDF format (EPTCS style).
  • Manuscripts describing short tool papers are limited to a maximum of 7 pages in PDF (EPTCS style).
  • Presentations Reports on relevant results submitted to other forums, already published, or on not yet finished work in progress. Presentations will not be considered for the final workshop proceedings, but will be considered for the special issue. Manuscripts of presentations are limited to a maximum of 10 pages.

IMPORTANT DATES:

    Paper submission: April 3rd, 2012
    Notification: Mai 31st, 2012
    Camera ready version: June 18th, 2012
    Workshop: July 7th and 8th, 2012

Confirmed Inivited Speakers:

Programme Committee