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

TL;DR

This volume compiles research from GandALF 2019, a symposium focused on automata, logic, and formal verification, fostering international collaboration among researchers in theoretical computer science.

Contribution

It provides a comprehensive collection of recent advances in automata, logic, and formal verification from a diverse international community.

Findings

Multiple new theoretical results in automata and logic

Innovative applications in system verification

Enhanced understanding of formal methods

Abstract

This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, France, from the 2nd to the 3rd of September 2010. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. GandALF has a truly international spirit, as witnessed by the composition of the program and steering committee and by the country distribution of the submitted papers.