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

TL;DR

The GandALF 2020 symposium proceedings compile recent research on automata, logic, and formal verification, fostering international collaboration among computer scientists in these fields.

Contribution

This volume presents a collection of recent advances and research papers from the 11th GandALF symposium, emphasizing interdisciplinary approaches in formal methods.

Findings

Diverse research contributions on automata and logic

Enhanced understanding of formal verification techniques

Promotion of international collaboration in formal methods

Abstract

This volume contains the proceedings of the 11th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2020). The symposium took place as a fully online event on September 21-22, 2020. 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.