Call for Papers (pdf)

Objectives

The aim of the conference is to bring together researchers from academia and industry active in the fields of Games, Automata, Logics and Formal Verification. The idea is to cover an ample spectrum of themes, from theory to concrete applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.

Topics

The topics covered by the conference include, but are not limited to, the following:

• 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 (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

Invited speakers

• Mikolaj Bojańczyk (Institute of Informatics, Warsaw University, Poland)
• Javier Esparza (Technische Universität München, Germany)
• Pino Persiano (Università di Salerno, Italy)
• Wolfgang Thomas (RWTH Aachen University, Germany)

Committees

General Chair

• Margherita Napoli (Università di Salerno, Italy)

Program Co-Chairs

• Angelo Montanari (Università di Udine, Italy)
• Mimmo Parente (Università di Salerno, Italy)

Program Committee

• Parosh Aziz Abdulla (Uppsala University, Uppsala, Sweden)
• Dietmar Berwanger (CNRS, Cachan Cedex, France)
• Mikolaj Bojańczyk (Warsaw University, Poland)
• Ahmed Bouajjani (University of Paris 7, France)
• Krishnendu Chatterjee (Inst. of Science and Tech, Austria)
• Thomas Colcombet (Université Paris Diderot, France)
• Ugo Dal Lago (Università di Bologna, Italy)
• Giorgio Delzanno (Università di Genova, Italy)
• Rocco De Nicola (Università di Firenze, Italy)
• Emanuela Fachini (Università di Roma, Italy)
• Marco Faella (Università di Napoli, Italy)
• Alessandro Ferrante (Fond. Bruno Kessler, Trento, Italy)
• Stefania Gnesi (ISTI-CNR, Pisa, Italy)
• Valentin Goranko (Tech.Un., Richard Petersen Plads, Lyngby, Denmmark)
• Antonín Kučera (Fac. of Inf., Masaryk University, Brno, Czech)
• Salvatore La Torre (Università di Salerno, Italy)
• Kamal Lodaya (Inst. of Math. Sciences, Chennai, India)
• Christof Löding (RWTH AAchen University, Germany)
• Rupak Majumdar (UCLA, USA)
• Luke Ong (Oxford University, UK)
• Gennaro Parlato (UIUC, USA)
• Ian Pratt-Hartmann (University of Manchester, UK)
• Gabriele Puppis (Oxford University, UK)
• Alexander Rabinovich (Tel Aviv University, Israel)
• Jean Francois Raskin (University Libre de Bruxelles, Belgium)
• Mark Reynolds (University of Western Australia, Australia)
• Guido Sciavicco (Universidad de Murcia, Spain)
• Colin Stirling (University of Edimburgh, UK)
• Tomáš Vojnar (Fac. of Inf. Tech., Technical University, Brno, Czech Republic)

Advisory Chairs

• Stefano Crespi Reghizzi (Politecnico of Milan, Italy)
• Jozef Gruska (Masaryk University, Czech Republik)
• Oscar H. Ibarra (UCSB, USA)
• Andrea Maggiolo-Schettini (Università di Pisa, Italy)

Organizing Committee

• Dario Della Monica (Università di Udine, Italy)
• Fabio Mogavero (Università di Napoli, Italy)
• Aniello Murano (Università di Napoli, Italy)
• Francesco Sorrentino (UIUC, USA)
• Nicola Vitacolonna (Università di Udine, Italy)

Paper Submission

Submissions, not exceeding fifteen (15) pages using EPTCS format, should be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Papers must be submitted in PDF or PS format by using EasyChair.

Important Dates

Abstract submission	March 21, 2010
Paper submission	March 28, 2010
Paper Submission: extended	March 31, 2010
Acceptance notification	May 1, 2010
Final version	May 20, 2010
Conference	June 17-18, 2010

Proceedings

The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. A special issue of a major international journal to publish an extended and revised version of the best symposium papers is also under consideration.

Info

Please visit the conference website for more information.