Logics

da 26 Set 2018 - 09:00 a 28 Set 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.

da 20 Set 2017 - 09:00 a 22 Set 2017 - 13:00

The Eighth International Symposium on Games, Automata,