Welcome to the 13th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2022) submissions site. For general information, see https://gandalf2022.software.imdea.org/.

Submissions

The deadline for registering submissions has passed.