GandALF 2020 logo GandALF 2020

21-23 (GandALF) & 23-24 (GAMENET Workshop) September, 2020, Brussels, Belgium



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.

See updated CFP.

The publication of the proceedings by ENTCS and the special edition of Information and Computation are maintained. The Gamenet meeting has been moved to a later not yet fixed date.

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

The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will be held in Brussels (Belgium) on September 21-23, 2020. This year, GandALF will be organised together with a workshop on Stochastic Games organised by the GAMENET network ( which will held on September 23-24, 2020. Both events will be hosted by the Université libre de Bruxelles, and the two events will share some invited speakers. We encourage the participation to the two events.

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.