[TYPES/announce] GandALF 2011: call for partecipation

[Dario Della Monica]

[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

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.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110531/8a4d7454/attachment-0001.html>