GandALF 2020 logo GandALF 2020

21-22 September, 2020, Brussels, Belgium

User:Zairon Wikimedia Commons CC-BY-SA-4.0

Important Dates

Due to COVID19 outbreak, the local organization committee and the steering committee of Gandalf have decided that the conference will be organized online this year. The publication of the proceedings by ENTCS and the special edition of Information and Computation are maintained.

The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will be held in Brussels (Belgium) on September 21-22, 2020. The aim of GandALF 2020 symposium 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-fertilization.