Welcome to Gandalf 2018

Welcome to the home page of GandALF 2018, the Ninth International Symposium on Games, Automata, Logics, and Formal Verification that will be held in Saarbrücken (Germany) in September 2018. This edition is the first taking place outside of Italy.

The aim of GandALF 2018 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.

Saarbrücken is the capital of the Saarland, the smallest federal state of Germany. Conveniently located on the high-speed railway halfway between Frankfurt and Paris and close to the French border, Saarbrücken is a truly European City. For more information, visit http://www.saarbruecken.de/en/tourism and https://en.wikipedia.org/wiki/Saarbrücken.

Important Dates

All dates are Anywhere on Earth.

  • Abstract submission: June 13th, 2018
  • Paper submission: June 15th, 2018
  • Notification: August 1st, 2018
  • Camera-ready: August 17th, 2018
  • Conference: September 26th - 28th, 2018


  • Apr 24, 2018: Special Issue announced
  • Feb 18th, 2018: Invited speakers added
  • Jan 19th, 2018: PC added
  • Jan 18th, 2018: We are online