Call for papers - GandALF 2025

If you do research on any of the topics covered by GandALF, do consider submitting a paper to the conference and making the trip to Malta in mid-September! Call for papers - GandALF 2025 The Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification will take place in Valletta, Malta, 15-18 September 2025. Web page: https://gandalfsymposium. github.io/2025/ The aim of…