|
|
Invited talksInvited Talks
Javier Esparza, TUM - Technische Universität München Keeping a Crowd Safe: On the Complexity of Parameterized Verification
Peter Bro Miltersen, Aarhus University Semi-algebraic geometry in computational game theory - a consumer's perspective
Luc Segoufin, INRIA, École Normale Supérieure de Cachan A glimpse on constant delay enumeration |