********************************************************************************
--------------------- GandALF 2011 --------------------
********************************************************************************
Second International Symposium on Games, Automata, Logics, and Formal Verification
Minori, Amalfi Coast, Italy, June 15-17, 2011
************************************************
| 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
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
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
information.
Posts
