Welcome to GandALF 2021

Prato della Valle Padova

The Twelfth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Padua (Italy) on September 20-22, 2021. The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

This year, GANDALF will be organised together with the 3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2021). The OVERLAY workshop focuses on the relationships between Artificial Intelligence and Formal Methods, and discusses on the opportunities and challenges at the border of the two areas. Both events will be hosted by the University of Padua, and will share some invited speakers. We encourage participation in both events.

COVID-19 Information
The COVID-19 pandemic has created uncertainty and difficulties for people throughout the world. We acknowledge the concerns about health and safety, the potential travel restrictions and limitations in the ability of people to gather, and the financial difficulties. The organizers of GANDALF 2021 will closely monitor the evolution of the pandemic and will take all the necessary actions to guarantee a successful event. We are currently working with the hope that by September 2021 we will be able to gather in-person for the GANDALF Symposium. We understand that even in such a case not all participants may be able to physically attend. For this reason, we are planning a hybrid conference (physical and virtual participation). In the case that an in-person event will not be possible, GANDALF 2021 will be a fully virtual conference.Updates on the organization mode will be published and advertised in due time.
University of Padova Logo
Last update: 3/19/2021