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.

中文翻译：

---

第 11 届博弈、自动机、逻辑和形式验证国际研讨会论文集

本卷包含第 11 届国际游戏、自动机、逻辑和形式验证研讨会 (GandALF 2020) 的会议记录。该研讨会于 2020 年 9 月 21 日至 22 日以完全在线的形式举行。 GandALF 研讨会由一群对数理逻辑、自动机理论、博弈论及其在规范、设计和复杂系统的验证。它的目的是提供一个论坛，让来自不同地区，可能具有不同背景的人们可以进行富有成效的互动。GandALF 具有真正的国际精神，从项目和指导委员会的组成以及提交论文的国家分布就可以看出。