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.

News

  • Sep 11, 2018: Proceedings published
  • Aug 21, 2018: Program is online
  • Aug 16, 2018: Room block at Hotel Madeleine extended until August 22
  • Aug 1, 2018: Registration opened
  • Aug 1, 2018: Accepted Papers and Local Information added
  • Jun 14, 2018: Deadline extended
  • Apr 24, 2018: Special Issue announced
  • Feb 18, 2018: Invited speakers added
  • Jan 19, 2018: PC added
  • Jan 18, 2018: We are online

Important Dates

All dates are Anywhere on Earth.

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

Sponsors