July 17, 2016
8:45-9:00 Welcome
9:00-10:30Invited talk From Linear Systems to Discrete-Event Systems
W. Murray Wonham
10:00-10:30 Using SyGuS to Synthesize Reactive Motion Plans
Sarah Chasins and Julie Newcomb
10:30-11:00 Break
11:00-13:00 11:00-11:30 What You Really Need To Know About Your Neighbor
Werner Damm, Bernd Finkbeiner and Astrid Rakow
11:30-12:00Symbolic BDD and ADD Algorithms for Energy Games
Shahar Maoz, Or Pistiner and Jan Oliver Ringert
12:00-12:30 From Incremental Determinization to Synthesis
Markus N. Rabe and Sanjit A. Seshia
12:30-13:00 On the Teaching Dimension of Octagons for Formal Synthesis
Susmit Jha, Sanjit A. Seshia and Xiaojin Jerry Zhu
13:00-14:00 Lunch
14:00-15:30Invited talk Synthesizing Event-driven Network Programs from Scenarios
Pavol Cerny
15:00-15:30 Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions
Grigory Fedyukovich and Rastislav Bodik
15:30-16:00 Break
16:00-17:00 16:00-16:30Leveraging Parallel Data Processing Frameworks with
Verified Lifting
Maaz Bin Safeer Ahmad and Alvin Cheung
Business Meeting
19:30 Workshop Dinner at Marben
July 18, 2016
8:30-10:30 8:30-9:00 Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Leonid Ryzhyk and Adam Walker
9:00-9:30 A High-Level LTL Synthesis Format: TLSF v1.1
Swen Jacobs, Felix Klein and Sebastian Schirmer
9:30-10:00 The Reactive Synthesis Competition: SYNTCOMP 2016
and Beyond
Swen Jacobs and Roderick Bloem
10:00-10:30 SYNTCOMP results presentation
10:30-11:00 Break
11:00-13:00 11:00-11:30 Program Synthesis in the Industrial World: Inductive, Incremental, Interactive
Oleksandr Polozov and Sumit Gulwani
11:30-11:45 An Update on Deductive Synthesis and Repair in the Leon Tool
Manos Koukoutos, Etienne Kneuss and Viktor Kuncak
11:45-12:30 SyGuS-COMP results presentation
Closing
13:00-14:00 Lunch