The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will take place on September 21 and 22, 2020.
The aim of GandALF 2020 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-fertilisation.
Submissions: | June 13, 2020 |
Notification: | July 20, 2020 |
Event: | September 21, 2020-September 22, 2020 |