[SMT-LIB] SYNT 2017: Call for Papers

Dana Fisman fisman at seas.upenn.edu
Fri Mar 10 12:10:39 EST 2017


----------------------------------------------------------------------

                     SYNT 2017 - Call For Papers

                     6th Workshop on Synthesis

                    a satellite event of CAV'17

                 Heidelberg, Germany, July 22, 2017


             https://www.react.uni-saarland.de/synt2017/

----------------------------------------------------------------------

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.

Topics of interest include, but are not limited to:

* algorithms and tools for software synthesis and reactive

(discrete-time, timed, hybrid, ...) synthesis,

* specification languages and optimization in synthesis,

* complexity and decidability results for synthesis,

* case studies of software or hardware synthesis,

* connections between verification and synthesis,

* synthesis by model learning,

* connections between synthesis and inductive programming,

* new approaches or applications for synthesis,

* description and analysis of benchmark families for synthesis.

----------------------------------------------------------------------

We welcome scientific contributions of the following forms:

* regular papers (max. 15 pages in EPTCS style, excluding references)

* tool papers (max. 7 pages in EPTCS style, excluding references)

Submitted regular and tool papers must be original and unpublished.

Accepted papers will appear in the Electronic Proceedings in

Theoretical Computer Science series; hence, submissions must be

prepared in LaTeX using the EPTCS macro package. Given sufficient

interest, extended versions of selected papers will appear in a

special issue of the journal Acta Informatica.

----------------------------------------------------------------------

Important dates:

Paper submission: May 1, 2017

Author notification:  May 29, 2017

Workshop: July 22, 2017

----------------------------------------------------------------------

Program Committee:

* Roderick Bloem (Graz University of Technology)

* Swarat Chaudhuri (Rice University)

* Pedro D'Argenio (Universidad Nacional de Cordoba)

* Rayna Dimitrova (MPI-SWS)

* Rüdiger Ehlers (University of Bremen)

* Bernd Finkbeiner (Saarland University)

* Dana Fisman (co-chair, Ben-Gurion University)

* Swen Jacobs (co-chair, Saarland University)

* Stéphane Lafortune (University of Michigan)

* Alessio Lomuscio (Imperial College, London)

* Doron Peled (Bar-Ilan University)

* Ruzica Piskac (Yale University)

* Nadia Polikarpova (Massachusetts Institute of Technology)

* Arjun Radhakrishna (University of Pennsylvania)

* Veselin Raychev (ETH Zurich)

* Roopsha Samanta (Purdue University)

* Ocan Sankur (Irisa Rennes)

* Sven Schewe (University of Liverpool)

* Armando Solar-Lezama (MIT)

* Ufuk Topcu (University of Texas at Austin)

* Frits Vaandrager (University of Washington)

* Damien Zufferey (MPI-SWS)

Program Chairs:

* Dana Fisman (Ben-Gurion University)

* Swen Jacobs (Saarland University)

----------------------------------------------------------------------

Keynote talk by Rupak Majumdar (Max Planck Institute for Software Systems).

Additional invited speakers will be announced soon.

----------------------------------------------------------------------

The SYNT 2017 workshop is kindly supported by the Austrian National
Research Network RiSE: Rigorous Systems Engineering.


More information about the SMT-LIB mailing list