English

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification

Formal Languages and Automata Theory 2024-10-30 v1 Computational Complexity Logic in Computer Science
Authors: Antonis Achilleos , Adrian Francalanza
View on arXiv ↗ PDF ↗ DOI ↗

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.

Keywords

games automata logics formal verification proceedings GandALF 2024

Cite

@article{arxiv.2410.21884,
  title  = {Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification},
  author = {Antonis Achilleos and Adrian Francalanza},
  journal= {arXiv preprint arXiv:2410.21884},
  year   = {2024}
}

Related papers

View all related →
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
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
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 12th International Symposium on Games, Automata, Logics, and Formal Verification
Pierre Ganty, Davide Bresolin
2021-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
Logic in Computer Science · Computer Science
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
Andrea Orlandini, Martin Zimmermann
2018-09-11
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 Eighth International Symposium on Games, Automata, Logics and Formal Verification
Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro
2017-09-07
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
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
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
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
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 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 of the 16th International Conference on Automata and Formal Languages
Zsolt Gazdag, Szabolcs Iván, Gergely Kovásznai
2023-09-06
Formal Languages and Automata Theory · Computer Science
Proceedings 14th International Conference on Automata and Formal Languages
Zoltán Ésik, Zoltán Fülöp
2014-05-22
Logic in Computer Science · Computer Science
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, Alberto Lluch Lafuente
2015-08-17
Machine Learning · Computer Science
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Christopher Brix, Stanley Bak, Taylor T. Johnson, Haoze Wu
2024-12-31
Formal Languages and Automata Theory · Computer Science
Proceedings 15th International Conference on Automata and Formal Languages
Erzsébet Csuhaj-Varjú, Pál Dömösi, György Vaszil
2017-08-22
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
Logic in Computer Science · Computer Science
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Mengwei Xu
2024-11-21
Programming Languages · Computer Science
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Diana Costa, Raymond Hu
2024-04-08
Logic in Computer Science · Computer Science
Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
Haniel Barbosa, Christophe Ringeissen
2025-09-30
Software Engineering · Computer Science
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovacs, Rosario Pugliese, Francesco Tiezzi
2011-08-11