[SMT-LIB] SYNT 2017 (CAV affiliated workshop) - last call for papers

[Dana Fisman]

Please note:
Paper submission was extended to May 5th, but abstracts are still due on May
1st.

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

                     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. A special issue of the  journal Acta Informatica will
be later
published containing peer-reviewed substantially extended versions of some
of the
papers contributed to the workshop. Submissions to it will be by invitation.


Paper submission is done via easychair <https://easychair.org/confere
nces/?conf=synt2017>

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

Important dates:

Abstract submission: May 1, 2017
Paper submission: May 5, 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.