Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification

This volume contains the proceedings of GandALF 2025, the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification. The symposium was held in Valletta, Malta, on September 16-17, 2025.<br/><br/>The GandALF symposium was established to provide an opportunity for researchers interested in logic for computer science, automata theory, and game theory, to gather and discuss the application of formal methods to the specification, design, and verification of complex systems. Previous editions of GandALF were held in Reykjavík, Iceland (2024), Udine, Italy (2023); Madrid, Spain (2022); Padova, Italy (2021); Brussels, Belgium (2020); Bordeaux, France (2019); Saarbrücken, Germany (2018); Rome, Italy (2017); Catania, Italy (2016); Genoa, Italy (2015); Verona, Italy (2014); Borca di Cadore, Italy (2013); Napoli, Italy (2012); and Minori, Italy (2011 and 2010). The symposium provides an international forum where people from different areas, backgrounds, and countries can fruitfully interact, as witnessed by the composition of the program and steering committees, and by the country distribution of the submitted papers.<br/><br/>The program committee selected 10 papers (out of 18 submissions) for presentation at the symposium. Each paper was reviewed by at least three referees, and the selection was based on originality, quality, and relevance to the topics of the call for papers. The scientific program included presentations on automata, logics for computer science and verification, learning for verification, formal methods and specification languages, games for security and verification, session types, and synthesis.<br/><br/>The program included two invited talks, given by Simon Fowler (University of Glasgow, Scotland) and Radu Mardare (Heriot-Watt University, Scotland). We are deeply grateful to them for contributing to this year's edition of GandALF.<br/><br/>We would like to thank the authors who submitted papers, the speakers, the program committee members and the additional reviewers for their excellent work. We also thank EPTCS and arXiv for hosting the proceedings; in particular, we thank Rob van Glabbeek for the precise and prompt technical support with issues related to the proceedings publication procedure.<br/><br/>Finally, we would like to thank the local organisers: Duncan Paul Attard, Veronica Barbara, Andrew Bezzina, Lucienne Bugeja, Caroline Cucciardi, Dario Dalli, Marietta Galea, Andre Pawney, Gerard Tabone, Maria Evelyn Vella, Angela M Xuereb, and Jasmine Xuereb for ensuring the event ran smoothly.<br/><br/>Giorgio Bacci and Adrian Francalanza