15-17 June 2011
Minori, Italy
********************************************************************************
--------------------- GandALF 2011
********************************************************************************
Second International Symposium on Games, Automata, Logics, and Formal
Verification
Minori, Amalfi Coast, Italy, June 15-17, 2011
http://gandalf.dia.unisa.it/
************************************************
| CALL FOR PARTECIPATION |
************************************************
OBJECTIVES
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.
INVITED SPEAKERS
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/
PROGRAMME
http://gandalf.dia.unisa.it/2011/index.php?page=program.inc.
REGISTRATION
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
http://gandalf.dia.unisa.it
<http://gandalf.dia.unisa.it/>/2011/index,php?page=registration.inc
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
<http://gandalf.dia.unisa.it/>) for more information.