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 will be co-organised by Giorgio and Elli Anastasiadi.
Spread the news and submit to the event!
No comments:
Post a Comment