Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of GandALF 2026, the Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification. The symposium was held in Aalborg, Denmark, on September 15-17, 2026. The aim of GandALF 2026 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-fertilisation.
cs.LO↗