GandALF 2026: First call for papers

The Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026) will be held in Aalborg, Denmark, in the period 15-17 September 2026. See https://gandalfsymposium.github.io/2026/ for more information and the call for papers. The PC is co-chaired by Giorgio Bacci (Aalborg University, Denmark) and Mickaël Randour (Université de Mons, Belgium) and the event…