GandALF 2011
Minori, (Amalfi coast),
Italy - 15-17 June 2011
Italy - 15-17 June 2011
Second International Symposium on
Games, Automata, Logics and Formal Verification
Wednesday, June 15th
08:45‑09:00 Welcome
09:00‑10:00 Invited talk 1
| 9:00--10:00 | Thomas Colcombet: The monadic theory of linear orders |
10:00‑10:30 Coffee Break
10:30‑12:30 Session 1
| 10:30-11:00 | Yoad Lustig and Moshe Vardi. Synthesis from Recursive-Components Libraries |
| 11:00-11:30 | Christian Appold Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations |
| 11:30-12:00 | Stefan Haar, Christian Kern and Stefan Schwoon
Computing the Reveals Relation in Occurrence Nets |
| 12:00-12:30 | Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini and Walter Vogler Automated Analysis of MUTEX Algorithms with FASE |
12:30‑14:15 Lunch
14:15‑15:45 Session 2
| 14:15-14:45 | Vaclav Brozek Optimal Strategies in Infinite-state Stochastic Reachability Games | |
| 14:45-15:15 | Krishnendu Chatterjee and Nathanaël Fijalkow A reduction from parity games to simple stochastic games | |
| 15:15-15:45 | Bastien Maubert, Sophie Pinchinat and Laura Bozzelli Opacity Issues in Games with Imperfect Information |
15:45‑16:00 Coffee Break
16:00‑17:00 Session 3
| 16:00-16:30 | Makoto Tatsuta and Ferruccio Damiani
Type Inference for Bimorphic Recursion |
| 16:30-17:00 | Zhilin Wu
A Decidable Extension of Data Automata |
17:00‑18:00 Business meeting
Thursday, June 16th
09:00‑10:00 Invited talk 2
| 9:00--10:00 | Moshe Vardi: The Rise and Fall of LTL |
10:00‑10:30 Coffee Break
10:30‑12:30 Session 4
| 10:30-11:00 | Grüner, Frank G. Radmacher and Wolfgang Thomas
Connectivity Games over Dynamic Networks |
| 11:00-11:30 | Martin Zimmermann
Optimal Bounds in Parametric LTL Games |
| 11:30-12:00 | Laura Bozzelli
New results on pushdown module checking with imperfect information |
| 12:00-12:30 | Rüdiger Ehlers and Bernd Finkbeiner
Reactive Safety |
12:30‑14:30 Lunch
14:30‑24:00 Social event in Amalfi: boat trip, guided town visit and conference dinner
Friday, June 17th
09:00‑10:00 Invited talk 3
| 9:00--10:00 | Erich Grädel: Dependence, Independence, and Incomplete Information |
10:00‑10:30 Coffee Break
10:30‑12:00 Session 5
| 10:30-11:00 | Davide Bresolin, Angelo Montanari, Pietro Sala and Guido Sciavicco
An Optimal Decision Procedure for MPNL over the Integers |
| 11:00-11:30 | Markus Latte
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages |
| 11:30-12:00 | Giacomo Lenzi
On P-transitive graphs and applications |
12:00‑13:30 Lunch
13:30‑15:00 Session 6
| 13:30-14:00 | Davide Bresolin and Marta Capiluppi
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems |
| 14:00-14:30 | Olga Tveretina and Daniel Funke
Deciding Reachability for 3-Dimensional Multi-Linear Systems |
| 14:30-15:00 | Massimo Benerecetti, Marco Faella and Stefano Minopoli
Towards Efficient Exact Synthesis for Linear Hybrid Systems |
15:00‑15:45 Farewell & coffee