Symposium on Games, Automata, Logics, and Formal Verification 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:
https://www.react.uni-saarland.de/gandalf2018/
Die Öffentlichkeitsarbeit am Saarland Informatics Campus wird unterstützt durch das Kompetenzzentrum Informatik Saarland, gefördert aus Mitteln des Europäischen Fonds für regionale Entwicklung (EFRE) und Mitteln der Staatskanzlei Saarland.
