Third International Symposium on
Games, Automata, Logics and Formal Verification
Naples, Italy - September 6th-8th, 2012

Co-located with GAMES 2012, 5th Annual Workshop of the ESF Project.

The aim of the symposium is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. We wish to cover an ample spectrum of themes, ranging from theory to concrete applications, and to 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.


Accepted papers will be published by Electronic Proceedings in Theoretical Computer Science (EPTCS). A special issue of a major international journal is under consideration.
The previous two editions of GandALF lead to two special issues of the International Journal of Foundation of Computer Science, and Theoretical Computer Science, respectively.

Important Dates (Extended!)

Abstract submission May 9, 2012 May 16, 2012
Paper submission May 15, 2012 May 22, 2012
Acceptance notificationJune 27, 2012
Conference September 6-8, 2012

Previous Editions