Welcome to the GandALF 2017 web page

Welcome to the home page of GandALF 2017, the Eighth International Symposium on Games, Automata, Logics, and Formal Verification that will be held in Rome (Italy) in 20-21-22 September 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.

Last edition in Catania (Italy) GandALF 2016.