Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
Pierre Ganty (IMDEA Software Institute, Madrid, Spain), Davide, Bresolin (University of Padova, Italy)
TL;DR
The GandALF 2021 symposium proceedings compile recent research across theoretical and applied aspects of Games, Automata, Logics, and Formal Verification, fostering collaboration between academia and industry.
Contribution
This volume consolidates diverse research contributions from GandALF 2021, highlighting advances across multiple domains and encouraging interdisciplinary exchange.
Findings
Comprehensive coverage of recent research topics
Bridging theory and practical applications
Fostering collaboration between academia and industry
Abstract
This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2021). The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which 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.