GAMES 2012 PROGRAM



September 07, 2012


08:00 - 08:45 : Registration
08:45 - 09:00 : Welcome
09:00 - 10:00 : Morning Session
09:00 - 10:00 (Invited Talk)
Automata-theoretic hierarchies
Damian Niwinski
10:00 - 10:30 Coffee break
10:30 - 12:30 : Session 1
10:30 - 11:00 Generalized Muller Pushdown Games
Anil Seth
11:00 - 11:30 Deciding Coverability in Non-monotone Infinite-state Systems
Richard Mayr
11:30 - 12:00 Trust metrics for SPKI/SDSI
Dominik Wojtczak
12:00 - 12:30 Approximating Weak Bisimilarity of Basic Parallel Processes
Piotr Hofman, Patrick Totzke
12:30 - 14:00 Lunch
14:00 - 15:30 : Afternoon Session
14:00 - 15:00 (Invited Talk)
Multi-dimensional Quantitative Games: Complexity and Strategy Synthesis
Jean-Francois Raskin
15:00 - 15:30 Coffee break
15:30 - 17:30 : Session 2
15:30 - 16:00 Strategy Synthesis for Mean-Payoff Expression Objectives
Yaron Velner
16:00 - 16:30 LTL model checking of Interval Markov Chains
Michael Benedikt, Rastislav Lenhardt, James Worrell
16:30 - 17:00 The Value 1 problem for Partially Observable Markov Decision
Hugo Gimbert, Youssouf Oualhadj
17:00 - 17:30 Implementing distributed control on star architectures
H. Gimbert, A. Muscholl, K. Siddharth

September 08, 2012


09:00 - 10:00 : Morning Session
09:00 - 10:00 (Invited Talk)
Constructive decision theory: Decision theory with subjective states and outcomes
Joe Halpern
10:00 - 10:30 : Coffe Break
10:30 - 12:30 : Session 3
10:30 - 11:00 From determinacy to Nash equilibrium
Stephane Le Roux
11:00 - 11:30 Choosing Products in Social Networks
Krzysztof R. Apt, Sunil Simon
11:30 - 12:00 Learning and Playing Board Games using Descriptive Complexity
Lukasz Kaiser
12:30 - 14:00 Lunch
12:00 - 12:30 : Announcement
12:00 - 12:30 (Invited Talk)
The future of GAMES
Mikołaj Bojańczyk
14:00 - 15:30 : Afternoon Session
14:00 - 15:00 (Invited Talk)
A subexponential lower bound for Cunningham's rule for solving games
Oliver Friedmann
15:00 - 15:30 Coffee Break
15:30 - 16:30 : Session 4
15:30 - 15:45 MSO limit laws for random planar graphs
Anuj Dawar, Eryk Kopczynski
15:45 - 16:15 On the modal µ-calculus in finite symmetric graphs
Giovanna D’Agostino, Giacomo Lenzi
16:30 - 20:00 : City Excursion
16:30 - 20:00 Guided tour of the old town of Napoli. The tour will start from Piazza del Gesù at 17:30

September 09, 2012


09:00 - 10:00 : Morning Session
09:00 - 10:00 (Invited Talk)
Higher-Order Model Checking: From Theory To Application
Luke Ong
10:00 - 10:30 Coffee Break
10:30 - 12:30 : Session 5
10:30 - 11:00 Strategy Logic
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
11:00 - 11:30 Strategy Logic Fragments
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
11:30 - 12:00 Comparing the Expressive Power of ATL* and a Fragment of Strategy Logic
Matthijs Melissen, Leon van der Torre
12:00 - 12:30 Model Checking Coalitional Games with Priced-Resource Agents
Dario Della Monica, Margherita Napoli, Mimmo Parente
12:30 - 14:00 Lunch
14:00 - 15:00 : Afternoon Session
14:00 - 15:00 (Invited Talk)
Algorithms for Stochastic Games with Partial Observation
Hugo Gimbert
15:00 - 15:30 Coffe Break
15:30 - 17:30 : Session 6
15:30 - 16:00 Tight Bounds for the Determinisation and Complementation of Generalised Buchi Automata
Sven Schewe, Thomas Varghese
16:00 - 16:30 Deciding the Index Hierarchy of Game Automata
A. Facchini, F. Murlak, M. Skrzypczak
16:30 - 17:00 ω-Regular Trace Languages: Classification and Synthesis
Namit Chaturvedi, Marcus Gelderie
17:00 - 17:30 Generating and Solving Symbolic Parity Games
Gijs Kant, Jaco van de Pol

September 10, 2012


09:00 - 10:00 : Morning Session
09:00 - 10:00 (Invited Talk)
Games and determinization
Thomas Colcombet
10:00 - 10:30 Coffee Break
10:30 - 11:30 : Session 7
10:30 - 11:00 Substructure Temporal Logic
Massimo Benerecetti, Fabio Mogavero, Aniello Murano
11:00 - 11:30 Interval temporal logics and regular languages of finite and infinite words
Angelo Montanari, Pietro Sala
11:45 - 23:00 : Social event
11:45 - 19:15 Trip to Pompei to visit the Old City: we will first have a packed lunch inside the Old City and then a guided tour will follow
19:15 - 22:45 Social dinner at Villa Corte dei Leoni in Napoli
22:45 - 23:00 Return trip to Centro Congressi

September 11, 2012


09:00 - 10:00 : Morning Session
09:00 - 10:00 (Invited Talk)
Computation in Fraenkel-Mostowski sets
Mikołaj Bojańczyk
10:00 - 10:30 Coffee Break
10:30 - 12:30 : Session 8
10:30 - 11:00 Graph Operations on Parity Games and Polynomial-Time Algorithms
Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
11:00 - 11:30 Fatal Attractors In Parity Games
Michael Huth, Jim Huan-Pu Kuo
11:30 - 12:00 Cost-Parity and Cost-Streett Games
Nathanaël Fijalkow, Martin Zimmermann
12:00 - 12:30 Playing Pushdown Parity Games in a Hurry
Wladimir Fridman, Martin Zimmermann
12:30 - 14:00 Lunch
14:00 - 15:00 : Afternoon Session
14:00 - 15:00 (Invited Talk)
Secure equilibria, Applications, and Buechi Games
Krishnendu Chatterjee
15:00 - 15:30 Coffee Break
15:30 - 17:30 : Session 9
15:30 - 16:00 Regular languages of thin trees
Mikolaj Bojanczyk, Tomasz Idziaszek, Michal Skrzypczak
16:00 - 16:30 Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones
Szczepan Hummel
16:30 - 17:00 Parikh Images of Regular Languages: Complexity and Applications
Anthony Widjaja Lin
17:00 - 17:30 Petri Nets w-Languages: On The topological Complexity of ω-Languages Recognized by Deterministic Blind Counters
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre

September 12, 2012


09:00 - 10:00 : Morning Session
09:00 - 10:00 (Invited Talk)
GAMES, Logics, and Strategies
Wolfgang Thomas
10:00 - 10:30 Coffee Break
10:30 - 12:30 : Session 10
10:30 - 11:00 Controlling distributed systems
B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz
11:00 - 11:30 Strategy Machines and their Complexity
Marcus Gelderie
11:30 - 12:00 Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Tomas Brazdil, Krishnendu Chatterjee, Antonin Kucera, Petr Novotny
12:00 - 12:30 Obligation Blackwell Games
Krishnendu Chatterjee, Nir Piterman