[We apologize if you have received multiple copies of this message] ******************************************************************************** --------------------- GandALF 2010 ------------------------ ******************************************************************************** 1st International Symposium on Games, Automata, Logics, and Formal Verification Minori, Amalfi Coast, Italy, June 17-18, 2010 http://gandalf.dia.unisa.it/ ************************************************ | CALL FOR PARTICIPATION | ************************************************ 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. Authors have been invited to submit original research or tool papers on any relevant topic in the following areas: LIST OF TOPICS Automata Theory Automated Deduction Logical aspects of Computational Complexity Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Complex Systems (e.g., Interactive Systems, Systems Biology) Games and Automata for Verification Game Semantics Game Theory Hybrid, Embedded, and Mobile Systems Verification Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Program Analysis and Software Verification Specification and Verification of Finite and Infinite-state Systems Synthesis and Execution PROGRAMME Programme of GandALF 2010 consists of 16 contributed talks (for the list of accepted papers, please have a look at http://gandalf.dia.unisa.it/index.php?page=acceptedpapers.inc) that have been selected by the programme committee on the basis of submitted papers. For the detailed program of GandALF 2010, please have a look at http://gandalf.dia.unisa.it/index.php?page=program.inc REGISTRATION GandALF 2010 has two registration periods (early and normal) and two registration categories (student and full). Early registration applies up to May 15th, 2010. People registering as students will be asked to prove their status upon arrival. On site registration fee can be paid only in cash. Since Minori is a popular vacation resort, we suggest to book your hotel as soon as possible. Registration fee: Full: 225 euro (early registration) - 300 euro (normal registration) Student: 100 euro (early registration) - 150 euro (normal registration) Registration includes: - lunches (June 17th and 18th) - conference partecipation - electronic copy of conference proceedings - one copy of printed pre-proceedings - coffee breaks - excursion: visit to Ravello (on Thursday late afternoon) - conference banquet, full registration only (on Friday evening) Extra banquet tickets will be available on site at euro 50 each. INVITED SPEAKERS Mikolaj Bojanczyk (Poland) Javier Esparza (Germany) Pino Persiano (Italy) Wolfgang Thomas (Germany) INFO Please visit the conference website (http://gandalf.dia.unisa.it) for more information. GENERAL CHAIR Margherita Napoli (Italy) PROGRAM CO-CHAIRS Angelo Montanari (Italy) Mimmo Parente (Italy) PROGRAM COMMITTEE Parosh Aziz Abdulla (Sweden) Dietmar Berwanger (France) Mikolaj Bojanczyk (Poland) Ahmed Bouajjani (France) Krishnendu Chatterjee (Austria) Thomas Colcombet (France) Ugo Dal Lago (Italy) Giorgio Delzanno (Italy) Rocco De Nicola (Italy) Emanuela Fachini (Italy) Marco Faella (Italy) Alessandro Ferrante (Italy) Stefania Gnesi (Italy) Valentin Goranko (Denmark) Antonin Kucera (Czech Republik) Salvatore La Torre (Italy) Kamal Lodaya (India) Christof Loding (Germany) Rupak Majumdar (USA) Luke Ong (UK) Gennaro Parlato (USA) Ian Pratt-Hartmann (UK) Gabriele Puppis (UK) Alexander Rabinovich (Israel) Jean-Francois Raskin (Belgium) Mark Reynolds (Australia) Guido Sciavicco (Spain) Colin Stirling (UK) Tomas Vojnar (Czech Republic) ADVISORY CHAIRS Stefano Crespi Reghizzi (Italy) Jozef Gruska (Czech Republik) Oscar H. Ibarra (USA) Andrea Maggiolo-Schettini (Italy) ORGANIZING COMMITTEE Dario Della Monica (Italy) Fabio Mogavero (Italy) Aniello Murano (Italy) Francesco Sorrentino (USA) Nicola Vitacolonna (Italy) -- 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]