Gandalf 2010 will be held in Minori, Amalfi Coast, (Italy), a beautiful town located on the " Costiera Amalfitana", about 11Km north of Salerno and 4Km south of Amalfi.
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.
Submissions: | March 21, 2010 |
Notification: | May 1, 2010 |
Event: | June 17, 2010-June 18, 2010 |