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
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
Synthesis of a simple self stabilizing system (abstract)
11:15
Program Synthesis and Linear Operator Semantics (abstract)
11:45
How to Handle Assumptions in Synthesis (abstract)
12:15
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
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
The 1st Syntax-Guided Synthesis Competition (SyGuS) (abstract)
17:15
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
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
Parameterized Synthesis Case Study: AMBA AHB (abstract)
11:15
Are There Good Mistakes? A Theoretical Analysis of CEGIS (abstract)
11:45
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
AbsSynthe: abstract synthesis from succinct safety specifications (abstract)
15:15
Low-effort Specification Debugging and Analysis (abstract)
16:00-16:30Coffee Break