SVARM on Tuesday, July 20th

09:00‑10:00 Session 1
Location: IF G.07
09:00 Ras Bodik
Next Steps in Partial-Program Synthesis
09:30 Kim Larsen
Controller Synthesis from Timed Game Automata – from Theory to Practice
10:30‑12:30 Session 2
Location: IF G.07
10:30 Alexander Rabinovich
Extensions of the Church synthesis Problem
11:00 Bernd Finkbeiner
Bounded Synthesis
11:30 Georg Hofferek and Roderick Bloem
Controller Synthesis Using Uninterpreted Functions
12:00 Barbara Jobstmann
Quantitative Verification and Synthesis
14:00‑15:00 Invited Talk
Location: IF G.07
14:00 Natarajan Shankar
Inference Architectures for Satisfiability Modulo Theories
16:30‑18:00 Session 3
Location: IF G.07
16:30 Armin Biere and Florian Lonsing
Extending the BTOR Language
17:00 Tobias Nipkow
Automatic proof and disproof in Isabelle
17:30 Action IC0901
Management Committee Meeting