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.

IMPORTANT DATES – DEADLINES EXTENDED!!!
– Abstract submission: May 19, 2017 June 13, 2017
– Paper submission: May 26, 2017 June 15, 2017
– Notification: July 7, 2017 July 21, 2017
– Camera-ready: July 31, 2017 August 18, 2017

Last edition in Catania (Italy) GandALF 2016.

Sponsors