2020/09/20 by Jean-Francois Raskin, Davide Bresolin · 11 citations
Computer Science · #cs.LO #cs.FL #cs.GT
paper · pdf · doi:10.4204/eptcs.326
published as EPTCS 326, 2020
arxiv created 2020/09/20 · arxiv updated 2020/09/22
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.