| 9:00am | - | 10:10am |
Session I |
| 9:00am | - | 9:10am |
Opening
(ps,
pdf)
|
| 9:10am | - | 10:10am |
Wieslaw Zielonka, invited talk, joint work with Hugo Gimbert |
| | |
Discounting Infinite Games but How and Why?
(Abstract,
ps,
pdf) |
| 10:10am | - | 10:30am |
Coffee Break |
| 10:30am | - | 12:00am |
Session II |
| 10:30am | - | 11:30am |
Rupak Majumdar, invited talk, joint work with Krishnendu
Chatterjee and Marcin Jurdzinski |
| | |
Non-zero Sum Games and Nash Equilibria
(Abstract) |
| 11:30am | - | 12:00pm |
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, and Kim Guldstrand Larsen |
| | |
Synthesis of Optimal Strategies Using HyTech
(ps,
pdf)
|
| | |
| 12:00pm | - | 1:40pm |
Lunch Break |
| | |
| 1:40pm | - | 3:10pm |
Session III |
| 1:40pm | - | 2:40pm |
Luke Ong, invited talk |
| | |
Game Semantics and Software Model-Checking
(Abstract) |
| 2:40pm | - | 3:10pm |
Christian Dax and Martin Lange |
| | |
Game Over: The Foci Approach to LTL Satisfiability
and Model Checking
(ps,
pdf)
|
| 3:10pm | - | 3:30pm |
Coffee Break |
| 3:30pm | - | 5:10pm |
Session IV |
| 3:30pm | - | 4:00pm |
Rafal Somla |
| | |
New Algorithms for Solving Simple Stochastic
Games
(ps,
pdf)
|
| 4:00pm | - | 4:30pm |
Irfan Zakiuddin, Tim Hawkins, and Nick Moffat |
| | |
Towards a Game-Theoretic Understanding of Ad-Hoc
Routing
(ps,
pdf)
|
| 4:30pm | - | 5:00pm |
Loic Helouet, Marc Zeitoun, and Aldric Degorre |
| | |
Scenarios and Covert channels: another
game...
(ps,
pdf)
|
| 5:00pm | - | 5:10pm |
Closing |
