Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification

Wednesday 19. June - Friday 21. June

Reykjavik University • Menntavegur 1, 102, 102 Reykjavík, Reykjavíkurborg, Iceland

The Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification will take place in Reykjavík, Iceland, on 19–21 June 2024. The conference will be hosted by Reykjavík University and it is organized by the Department of Computer Science (ICE-TCS).

The aim of GandALF 2024 is to bring together researchers from academia and industry who 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.

Invited speakers
Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)
Kim Guldstrand Larsen (Aalborg University)
Brigitte Pientka (McGill University)
Azalea Raad (Imperial College London)

https://scool24.github.io/GandALF/

Reykjavik University • Menntavegur 1, 102, 102 Reykjavík, Reykjavíkurborg, Iceland

Google Map of Menntavegur 1, 102, 102 Reykjavík, Reykjavíkurborg, Iceland

Antonios Achilleos

antonios@ru.is