Please note that this newsitem has been archived, and may contain outdated information or links.
29-31 August 2013, 4th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2013), Borca di Cadore, Italy
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 applications, and stimulate cross-fertilization.
Invited Speakers: Alessandro Cimatti (ITC-IRST, Italy), Thomas Henzinger (IST, Austria) and Christof Loeding (University of Aachen, Germany).
Please visit the conference website http://gandalf.di.univr.it/ for more information.
Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 1, 2013.
Please note that this newsitem has been archived, and may contain outdated information or links.