English

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification

Formal Languages and Automata Theory 2021-09-17 v1 Computer Science and Game Theory Logic in Computer Science
Authors: Pierre Ganty , Davide Bresolin
View on arXiv ↗ PDF ↗ DOI ↗

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.

Keywords

games automata logics formal verification proceedings gandalf symposium

Cite

@article{arxiv.2109.07798,
  title  = {Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification},
  author = {Pierre Ganty and Davide Bresolin},
  journal= {arXiv preprint arXiv:2109.07798},
  year   = {2021}
}

Related papers

View all related →
Formal Languages and Automata Theory · Computer Science
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
Pierre Ganty, Dario Della Monica
2022-09-21
Formal Languages and Automata Theory · Computer Science
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Dario Della Monica
2023-10-02
Logic in Computer Science · Computer Science
Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
Giorgio Bacci, Adrian Francalanza
2025-09-17
Logic in Computer Science · Computer Science
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
Jean-Francois Raskin, Davide Bresolin
2020-09-22
Formal Languages and Automata Theory · Computer Science
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Adrian Francalanza
2024-10-30
Logic in Computer Science · Computer Science
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
Giovanna D'Agostino, Salvatore La Torre
2011-06-07
Computer Science and Game Theory · Computer Science
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification
Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro
2017-09-07
Logic in Computer Science · Computer Science
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification
Domenico Cantone, Giorgio Delzanno
2016-09-14
Logic in Computer Science · Computer Science
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification
Javier Esparza, Enrico Tronci
2015-09-24
Logic in Computer Science · Computer Science
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
Andrea Orlandini, Martin Zimmermann
2018-09-11
Logic in Computer Science · Computer Science
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification
Marco Faella, Aniello Murano
2012-10-09
Computer Science and Game Theory · Computer Science
Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Jérôme Leroux, Jean-Francois Raskin
2019-09-16
Computer Science and Game Theory · Computer Science
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
Angelo Montanari, Margherita Napoli, Mimmo Parente
2010-06-10
Computer Science and Game Theory · Computer Science
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
Adriano Peron, Carla Piazza
2014-08-26
Computer Science and Game Theory · Computer Science
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification
Gabriele Puppis, Tiziano Villa
2013-07-17
Formal Languages and Automata Theory · Computer Science
Proceedings 12th International Workshop on Verification of Infinite-State Systems
Yu-Fang Chen, Ahmed Rezine
2010-11-01
Software Engineering · Computer Science
Proceedings First Workshop on Applicable Formal Methods
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2021-11-16
Software Engineering · Computer Science
Proceedings of the 6th Workshop on Formal Integrated Development Environment
José Proença, Andrei Paskevich
2021-08-06
Logic in Computer Science · Computer Science
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik +6
2021-09-17
Quantum Physics · Physics
Proceedings of the Twentieth International Conference on Quantum Physics and Logic
Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev
2023-09-07
Quantum Physics · Physics
Proceedings 12th International Workshop on Quantum Physics and Logic
Chris Heunen, Peter Selinger, Jamie Vicary
2015-11-05
Logic in Computer Science · Computer Science
Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) in association with 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022)
Georg Borges, Ken Satoh, Erich Schweighofer
2023-05-23
Logic in Computer Science · Computer Science
Proceedings 38th International Conference on Logic Programming
Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl +2
2022-08-05
Programming Languages · Computer Science
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
Emanuele De Angelis, Wim Vanhoof
2021-09-01
Logic in Computer Science · Computer Science
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, António Ravara
2014-09-09