GandALF 2010
Minori, (Amalfi coast),
Italy - 17-18 June 2010
Italy - 17-18 June 2010
First International Symposium on
Games, Automata, Logics and Formal Verification
Thursday, June 17th
09:00‑10:00 Invited talk 1
| 9:00--9:50 | Javier Esparza:Stochastic Branching Processes: A Computer Science Perspective |
10:00‑10:30 Coffee Break
10:30‑12:30 Session 1
| 10:30-10:55 | Hugo Gimbert and Wieslaw Zielonka. Blackwell-Optimal Strategies in Priority Mean-Payoff Games |
| 11:00-11:25 | Krishnendu Chatterjee and Rupak Majumdar Discounting in Games across Time Scales. |
| 11:30-11:55 | Julien Cristau, Claire David and Florian Horn
How do we remember the past in randomised strategies? |
| 12:00-12:25 | Lubos Brim and Jakub Chaloupka Using Strategy Improvement to Stay Alive |
12:30‑14:00 Lunch
14:00‑15:00 Invited talk 2
| 14:00--14:50 | Mikolaj Bojanczyk: Automata for Data Words and Data Trees |
15:00‑15:30 Coffee Break
15:30‑17:30 Session 2
| 15:30-15:55 | Giovanna D'Agostino and Giacomo Lenzi
On Modal Mu-Calculus over finite graphs with bounded strongly connected components |
| 16:00-16:25 | Andreas Morgenstern and Klaus Schneider
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis |
| 16:30-17:00 | Catalin Dima, Constantin Enea and Dimitar Guelev
Model-Checking an Alternating Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions |
17:00‑21:00 Visit to Ravello
Friday, June 18th
09:00‑10:00 Invited talk 3
| 9:00--9:50 | Wolfgang Thomas: Infinite Games: Tema con Due Variazioni |
10:00‑10:30 Coffee Break
10:30‑12:30 Session 3
| 10:30-10:55 | Oliver Friedmann and Martin Lange
Local Strategy Improvement for Parity Game Solving |
| 11:00-11:25 | Wladimir Fridman
Formats of Winning Strategies for Six Types of Pushdown Games |
| 11:30-11:55 | John Fearnley and Martin Zimmermann
Playing Muller Games in a Hurry |
| 12:00-12:25 | Soumya Paul and R. Ramanujam
Imitation in Large Games |
| 12:30-13:00 | Davide Bresolin, Pietro Sala and Guido Sciavicco
Begin, After, and Later: a maximal decidable Interval Temporal Logic |
12:30‑14:00 Lunch
14:00‑15:00 Invited talk 4
| 14:00--14:50 | Pino Persiano: On the Mixing Time of the Logit Dynamics of Strategic Games |
15:00‑15:30 Coffee Break
15:30‑17:30 Session 4
| 15:30-15:55 | Christian Appold
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking |
| 16:00-16:25 | Ivan Fialik
Unitary Noise and the Mermin-GHZ Game |
| 16:30-16:55 | Marco Bernardo
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions |
| 17:00-17:25 | Davide Ancona and Giovanni Lagorio
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas |
21:00‑23:59 Social Dinner