Program

All sessions will take place in Suite 3102 unless otherwise indicated.

Monday, August 21st

Monday's program is also available side by side with other meetings.

09:30‑10:30  Session 1: Invited talk

09:30

Luca de Alfaro (University of California at Santa Cruz, USA) Interface theories in practice [ppt]

10:30‑11:00  Break

11:00‑12:00  Session 2: Invited talk

11:00

Marcin Jurdzinski (University of Warwick, UK) Algorithms for solving parity games [pdf]

12:30‑14:00  Lunch break

14:00‑15:30  Session 3: Contributed talks

14:00	Barbara Jobstmann and Roderick Bloem Game-based and simulation-based improvements for LTL synthesis
14:45	Krishnendu Chatterjee, Thomas A. Henzinger and Nir Piterman Algorithms for Büchi games

15:30‑16:00  Break

16:00‑17:00  Session 4: Invited talk

16:00

Christof Löding (RWTH Aachen, Germany) Memory reduction for strategies in infinite games [pdf]