SYNT 2015: 4th Workshop on Synthesis (with CAV), 18 July 2015

DBLP entries

SYNT 2015 is a full-day workshop on Saturday 18 July 2015, collocated with the International Conference on Computer-Aided Verification (CAV), San Francisco, California. The above link to CAV page contains local information.

Workshop Location: Room Fillmore B, San Francisco Grand Hayat Hotel Union Square

SYNT 2015 program can be found here.

Click here to download PRE-proceedings

The abstracts for the invited talks are available here.


Scope and Topics of Interest

The workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The workshop aims to foster the development of frontier techniques in automating the development of computing systems and is inclusive in its interpretation of the term synthesis:

  • Contributions of interest may include algorithms, complexity and decidability analysis, as well as reproducible heuristics, implemented tools, and experimental evaluation.
  • Application domains include software, hardware, embedded, and cyberphysical systems. Computation models include functional, reactive, hybrid and timed systems. Identifying, formalizing, and evaluating synthesis in particular application domains is encouraged.
  • Of interest are approaches that explore alternative development methods, as well as approaches that improve upon the automation of design, compilation, and optimization techniques currently in widespread use.
  • All appropriate underlying methods are of interest, including above formal methods and techniques that build upon computer-aided verification, but also machine learning and data mining techniques. All formalizable forms of specifications of potential practical interest are considered, including contracts, temporal logic specifications, quantitative objectives, partial systems, and (possibly symbolic) input/output examples.
  • Of great interest is understanding and productively making use of relationships between synthesis and related topics such as repair, fault localization, testing, discovery (synthesis) of inductive invariants, parameter optimization, constraints solving, theorem proving (including SMT, superposition-based, inductive, and higher-order theorem proving, as well as automated generation of lemmas and knowledge discovery).
  • Submission Instructions

    Submitted papers must be original and unpublished. Papers accepted for presentation at the workshop appeared in previous years in the Electronic Proceedings in Theoretical Computer Science series; hence, submissions must be prepared in LaTeX using the EPTCS macro package (author preparation kit zip file). Submitted papers should be 4 to 16 pages long in EPTCS style excluding references; within those page limits the authors should use as many pages as is appropriate for their contribution.

    The submission of workshop papers is through this link .

    The final pre-proceedings version is due on 30 June 2015. You have up to 25 pages in the EPTCS format for your final version. Please use your easychair account to upload the pre-proceedings version of your paper. This version will be made available to workshop participants.

    The final post-proceedings version will be due on 20 August 2015.

    Note: revised versions of selected papers is expected to appear in a special issue of the journal Acta Informatica (an example of a past special issue).


    Program Chairs:

    Program Committee:

    Confirmed Sponsorship

    We are pleased to confirm sponsorship from the USA NSF project ExCAPE.

    About SYNT Workshops

    For past editions and general information please see the SYNT Workshops page.