VIII International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)

The Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017) that will be held in Rome (Italy) in 20-21-22 September 2017. Amedeo Cesta and Andrea Orlandini are the Conference Chairs of the event.

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.

The technical program is composed by 20 original works that will be presented during the symposium. The list of accepted papers is avaliable here.

The program will be enriched by three Invited Talks by Ranko Lazic, Luca Aceto and Michael Wooldridge. More information here.