[TYPES/announce] GandALF 2011: call for partecipation

Dario Della Monica dario.dellamonica at uniud.it
Tue May 31 09:18:50 EDT 2011

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

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

Second International Symposium on Games, Automata, Logics, and Formal 
                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 
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 
<http://gandalf.dia.unisa.it/>) for more

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

More information about the Types-announce mailing list