  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.
