Please note that this newsitem has been archived, and may contain outdated information or links.
20 - 22 September 2017, Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017), Rome, Italy
Date: 20 - 22 September 2017
Location: Rome, Italy
Deadline: Friday 19 May 2017
The aim of GandALF 2017 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.
Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.
For more information, see
http://gandalf2017.istc.cnr.it.
Please note that this newsitem has been archived, and may contain outdated information or links.