Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)

The Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018) will be held in Saarbrücken (Germany) in September 2018. AndreA Orlandini and Martin Zimmermann (Saarland University, Germany) are the Program Chairs.

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.

For more information, visit https://www.react.uni-saarland.de/gandalf2018/index.html