Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Adrian Francalanza
TL;DR
GandALF 2024 is a conference that gathers researchers from academia and industry to discuss recent advances in Games, Automata, Logics, and Formal Verification, fostering collaboration across theory and applications.
Contribution
This volume compiles the latest research papers from GandALF 2024, highlighting new theoretical insights and practical applications in the fields of formal methods and automata.
Findings
Diverse theoretical frameworks for automata and logics
Innovative applications in formal verification
Cross-disciplinary approaches to game theory
Abstract
This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 June 2024, in Reykjavik, Iceland. The aim of GandALF 2024 is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.