[TYPES/announce] SYNT 2019 - Final Call for Abstracts and Extended Deadline

[Thomas Wies]

                      Final Call for Abstracts
----------------------------------------------------------------------
                      8th Workshop on Synthesis

                               SYNT 2019
----------------------------------------------------------------------

July 14, 2019
New York, NY, USA
A Satellite Workshop of CAV 2019

http://cs.nyu.edu/acsys/synt2019/


Important Dates
---------------

* Submission deadline: May 10, 2019
* Notification:        May 31, 2019
* Workshop:            July 14, 2019


Objectives
----------

The SYNT workshop aims to bring together researchers interested in the
broad area of synthesis of computing systems. The workshop fosters 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 program 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.

Submission
----------

SYNT 2019 welcomes submissions of extended abstracts of up to 3 pages in
the two-column sub-format of the ACM proceedings format. Submissions
will be judged on how interesting they are to the SYNT community.
Overlap with previously published work should be indicated, but does not
disqualify a submission if the presentation can be expected to be of
enough interest. Copies of the accepted submissions will be provided to
the participants.

Submission is via easychair.org:
<https://easychair.org/conferences/?conf=synt2019>.

Invited Speakers
----------------

* Loris D'Antoni (University of Wisconsin-Madison)
* Azadeh Farzan (University of Toronto)
* Kedar Namjoshi (Nokia Bell Labs)
* Rishabh Singh (Google Brain)

Program Chairs
--------------

* Markus Rabe (Google, USA)
* Thomas Wies (NYU, USA)

Program Committee
-----------------

* Roderick Bloem (Graz University of Technology, Austria)
* Pavol Cerny (University of Colorado Boulder, USA)
* Supratik Chakraborty (IIT Bombay, India)
* Christina David (University of Cambridge, UK)
* Rayna Dimitrova (University of Leicester, UK)
* Rüdiger Ehlers (University of Bremen, Germany)
* Bernd Finkbeiner (Saarland University, Germany)
* Dana Fisman (Ben Gurion University, Israel)
* Swen Jacobs (CISPA, Germany)
* Viktor Kuncak (EPFL, Switzerland)
* Lucas Martinelli Tabajara (Rice University, USA)
* Necmiye Ozay (University of Michigan, USA)
* Doron Peled (Bar Ilan University, Israel)
* Guillermo Perez (University of Antwerp, Belgium)
* Elizabeth Polgreen (University of Oxford, UK)
* Mukund Raghothaman (University of Pennsylvania, USA)
* Mark Santolucito (Yale University, USA)
* Sven Schewe (University of Liverpool, UK)
* Martina Seidl (Johannes Kepler University, Austria)
* Eran Yahav (Technion, Israel)