VSL 2014: VIENNA SUMMER OF LOGIC 2014
SYNT PROGRAM

Days: Wednesday, July 23rd Thursday, July 24th

Wednesday, July 23rd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:55-10:15 Session 160A: Introduction & Invited Talk 1
Location: FH, Seminarraum 101B
08:55
Viktor Kuncak
Automating Deductive Synthesis with Leon (Invited Talk) (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 166E: Contributed Talks 1
Location: FH, Seminarraum 101B
10:45
Adria Gascon and Ashish Tiwari
Synthesis of a simple self stabilizing system (abstract)
11:15
Herbert Wiklicky
Program Synthesis and Linear Operator Semantics (abstract)
11:45
Roderick Bloem, Rüdiger Ehlers, Swen Jacobs and Robert Koenighofer
How to Handle Assumptions in Synthesis (abstract)
12:15
Aaron Bohy, Véronique Bruyère and Jean-Francois Raskin
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes (abstract)
13:00-14:30Lunch Break
14:45-16:00 Session 173B: Invited Talk 2
Location: FH, Seminarraum 101B
14:45
Ashish Tiwari
Synthesis using EF-SMT Solvers (Invited Talk) (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 175E: Special Session on Competitions: SyGuS & SyntComp
Location: FH, Seminarraum 101B
16:30
Rajeev Alur
The 1st Syntax-Guided Synthesis Competition (SyGuS) (abstract)
17:15
Swen Jacobs
The 1st Synthesis Competition for Reactive Systems (SyntComp) (abstract)
Thursday, July 24th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:15 Session 182B: Invited Talk 3
Location: FH, Seminarraum 101B
09:00
Leonid Ryzhyk
Automatic Device Driver Synthesis Project: a Work-in-Progress Report (Invited Talk) (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 183C: Contributed Talks 2 & Invited Talk 4
Location: FH, Seminarraum 101B
10:45
Ayrat Khalimov, Swen Jacobs and Roderick Bloem
Parameterized Synthesis Case Study: AMBA AHB (abstract)
11:15
Susmit Jha and Sanjit A. Seshia
Are There Good Mistakes? A Theoretical Analysis of CEGIS (abstract)
11:45
Bernd Finkbeiner
Petri Games: Synthesis of Distributed Systems with Causal Memory (Invited Talk) (abstract)
13:00-14:30Lunch Break
14:45-16:00 Session 186: Contributed Talks 3, Wrap-up & Discussions
Location: FH, Seminarraum 101B
14:45
Romain Brenguier, Guillermo Perez, Ocan Sankur and Jean-Francois Raskin
AbsSynthe: abstract synthesis from succinct safety specifications (abstract)
15:15
Rüdiger Ehlers and Vasumathi Raman
Low-effort Specification Debugging and Analysis (abstract)
16:00-16:30Coffee Break