GandALF (Games, Automata, Logics, and Formal Verification) 2025
Event: GandALF (Games, Automata, Logics, and Formal Verification) 2025
Date: 16–17 September 2025
Time: 08:00-23:00
Venue: University of Malta Valletta Campus
The Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2025) was held in Valletta, Malta, on 16–17 September 2025. The event was hosted by the University of Malta at its Valletta Campus and locally chaired by Prof. Adrian Francalanza from the Department of Computer Science, Faculty of ICT.
The symposium featured two keynote talks: Radu Mardare (Heriot-Watt University) presented his work on Quantitative Equational Logic and Quantitative Algebras, while Simon Fowler (University of Glasgow) discussed his group’s recent efforts in bringing Mailbox Types to industry-strength programming languages.
In addition, ten papers were accepted for presentation, covering topics such as stochastic games, probabilistic programming, and metric equational theories.
The full details of the event can be accessed online.
The conference proceedings are available online.
