The IMDEA Software Institute has held the Thirteenth International Symposium on Games, Automata, Logics, and Formal Verification from September 21-23, 2022.

The aim of GandALF 2022 was to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. GandALF covered an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

Pierre Ganty, Associate Research Professor at IMDEA Software, and Dario Della Monica, Assistant Professor at the University of Udine have co-chaired the event, which was attended by more than 20 researchers and followed by a total of 30 via live streaming.

There were four invited talks and four sessions (Logic, Automata, Logic II: Languages and Games, and Security and Robustness) divided in the three days:

-Wojciech Czerwiński, University of Warsaw, Poland

“Techniques for Unambiguous Systems”

-Javier Esparza, Technische Universität München, Germany

“State Complexity of Population Protocols”

-Dana Fisman, Ben-Gurion University, Israel

“Learning Languages of Infinite Words”

-Jerzy Marcinkowski, University of Wrocław, Poland

“Towards Multiset Semantics Database Theory: How I Learned to Stop Worrying and Love Linear Algebra”

More information at: https://gandalf2022.software.imdea.org/#scientific-program