Logics

26 Sep 2018 - 09:00 to 28 Sep 2018 - 17:00

The Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018) will be held in Saarbrücken (Germany) in September 2018.