Update: Slides of Talks in SYNT 2017 are now available.
Update: Pre-proceedings of SYNT 2017 are now available. Final proceedings will be published in EPTCS after the workshop.
Program
8:45-9:00 Welcome
9:00-10:00 Session 1
Keynote Talk Rupak Majumdar: Controller Synthesis for Cyber-physical Systems
10:00-10:30 Coffee Break
10:30-12:00 Session 2
Invited Talk Jan Oliver Ringert: Quantitative Assume Guarantee Synthesis
Roderick Bloem, Sven Schewe and Ayrat Khalimov: CTL* synthesis via LTL synthesis (Slides)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch and Ernst-Rüdiger Olderog: Symbolic vs. Bounded Synthesis for Petri Games (Slides)
12:00-13:30 Lunch
13:30-15:00 Session 3
Invited Talk Sharon Shoham: Synthesizing Universally-Quantified Inductive Invariants (Slides)
Hadi Ravanbakhsh and Sriram Sankaranarayanan: A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems (Slides)
Elizabeth Firman, Shahar Maoz and Jan Oliver Ringert: Performance Heuristics for GR(1) Synthesis and Related Algorithms
15:00-15:30 Coffee Break
15:30-17:00 Session 4
Invited Talk Andrew Reynolds: SyGuS Techniques in the Core of an SMT Solver (Slides)
Competition Report: SyGuS-COMP 2017 (Slides: Results, Solver Presentations: CVC4, DryadSynth, E3Solver, LoopInvGen)
Competition Report: SYNTCOMP 2017 (Slides)
17:15-18:00 Business Meeting