Tuesday, May 31, 2011

GandALF 2011: call for partecipation

[We apologize if you have received multiple copies of this message]

 ---------------------               GandALF 2011                                  --------------------

Second International Symposium on Games, Automata, Logics, and Formal Verification
               Minori, Amalfi Coast, Italy, June 15-17, 2011


                 |         CALL   FOR  PARTECIPATION                |


The aim of the symposium is to bring together researchers from academia and industry
which are actively working in the fields of Games, Automata, Logics, and Formal 
Verification. The idea is to cover an ample spectrum of themes, ranging from theory 
to concrete applications, and to stimulate cross-fertilization.  

Thomas Colcombet  (CNRS, Paris FRANCE):  
The monadic theory of linear orders

Erich Graedel            (RWTH Aachen University, GERMANY):
Dependence, Independence, and Incomplete Information

Moshe Vardi              (Rice University, Houston USA):
The Rise and Fall of LTL


The registration fee for GandALF 2011 amounts to 250 euro and includes: conference participation, 
proceedings, coffee-breaks, conference banquet, and excursion. Extra banquet tickets will be available 
on site at 50 euro each. 
To register, go to


and follow  the instructions. 

The  social event  is scheduled for June 16th. Participants will enjoy a boat trip to Amalfi,
 where an official guide will lead the GandALF 2011 "gang" through a tour of the Amalfi Cathedral 
and Diocesan Museum. The social dinner will be held at the end of the tour in a typical Amalfitan
 restaurant.   After the dinner, return to Minori by coach. 

Please visit the conference website (http://gandalf.dia.unisa.it) for more