SYNT 2019: 8th Workshop on Synthesis |
Website | https://cs.nyu.edu/acsys/synt2019/ |
Submission link | https://easychair.org/conferences/?conf=synt2019 |
Submission deadline | May 10, 2019 |
Notification | May 31, 2019 |
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.
Submission Guidelines
Submitted abstracts should be 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.
List of Topics
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.
Invited Speakers
- Loris D'Antoni (University of Wisconsin-Madison)
- Azadeh Farzan (University of Toronto)
- Kedar Namjoshi (Nokia Bell Labs)
- Rishabh Singh (Google Brain)
Committees
Program Committee
- Roderick Bloem (Graz University of Technology, Austria)
- Pavol Cerny (University of Colorado Boulder, USA)
- Rüdiger Ehlers (University of Bremen, Germany)
- Christina David (University of Cambridge, UK)
- Rayna Dimitrova (University of Leicester, UK)
- 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)
Program Chairs
- Markus Rabe (Google, USA)
- Thomas Wies (NYU, USA)
Venue
The workshop will be held in New York, NY on July 14, 2019 and is co-located with the 31st International Conference on Computer Aided Verification (CAV 2019).