Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

17-18 June 2010, 1st Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2010), Minori, Italy

Date: 17-18 June 2010
Location: Minori, Italy
Deadline: 21 March 2010

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.

For more information, see http://gandalf.dia.unisa.it/

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. Papers focused on formal methods are especially welcome. Abstract submission deadline: March 21, 2010

Please note that this newsitem has been archived, and may contain outdated information or links.