GandALF held in Saarbrücken for the first time

GandALF 2018, the Ninth International Symposium on Games, Automata, Logics, and Formal Verification, will be held September 26–28 in Saarbrücken.


It is the first time that the symposium is taking place outside of Italy. The aim of symposium is to bring together researchers from academia and industry who are actively working in the fields of games, automata, logics, and formal verification. Hence, GandALF 2018 covers a wide spectrum of themes to stimulate cross-fertilization, ranging from theory to applications.

More information:

newsarchive >>