In attachment you can find the preliminary call for papers for the "1st International Symposium on Games, Automata, Logics, and Formal Verification - GandALF 2010", that will be held in Minori, Amalfi Coast, Italy on 17-18 June 2010. More details to the web page http://gandalf.dia.unisa.it/ Please, forward this message to anyone could be interested -- Dario Della Monica, PhD Student University of Udine - Department of Mathematics and Computer Science via delle Scienze, 206 - 33100 - Udine (UD) phone: (+39) 0432 558469 cell: (+39) 328 2477327 fax: (+39) 0432 558499 email: dario.dellamonica [at] dimi.uniud.it web site: http://users.dimi.uniud.it/~dario.dellamonica