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.