| GDV'06 | 3rd Workshop on Games in Design and Verification Seattle, August 21, 2006 |
GDV on Monday, August 21st
Session 1: Invited talk (09:30‑10:30)
| 09:30‑10:30 | Luca de Alfaro
(University of California at Santa Cruz, USA) Interface theories in practice [ppt] |
Break (10:30‑11:00)
Session 2: Invited talk (11:00‑12:00)
| 11:00‑12:00 | Marcin Jurdzinski
(University of Warwick, UK) Algorithms for solving parity games [pdf] |
Lunch break (12:30‑14:00)
Session 3: Contributed talks (14:00‑15:30)
Break (15:30‑16:00)
Session 4: Invited talk (16:00‑17:00)
| 16:00‑17:00 | Christof Löding
(RWTH Aachen, Germany) Memory reduction for strategies in infinite games [pdf] |
