GandALF 2019

The Tenth International Symposium on Games, Automata, Logics, and Formal Verification

2 - 3 September 2019, Bordeaux, France


Crédit Photo : Thomas Sanson - Mairie de Bordeaux


GandALF 2019 is over !

Thanks to:

  • Speakers for excellent talks !
  • Participants that make the event a great one.
  • PC members and Jean-François Raskin as a co-chair for the scientific program.
  • Steering Committee and in particular Angelo Montanari that helps preparing in time this edition of GandALF.
  • AndreA Orlandini and Martin Zimmermann who provided diffusion lists to advertise the conference.
  • EPTCS members for the very good job on the preparation of the proceeding and EasyChair as well.
  • And last but not least, the organization committe for preparing this nice edition of GandALF.

Jérôme Leroux, organization chair and PC co-chair of GandALF 2019.

Welcome to Gandalf 2019

Welcome to the home page of GandALF 2019, the Tenth International Symposium on Games, Automata, Logics, and Formal Verification that will be held in Bordeaux (France) in September 2019.

The aim of GandALF 2019 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.

The city of Bordeaux is on the UNESCO World Heritage List as "an outstanding urban and architectural ensemble" of the 18th century. September is one of the best month for visiting Bordeaux.




The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, and 2018; the latter two still in progress), and Acta Informatica (GandALF 2015).


Invited Speakers


Nathanaël Fijalkow (CNRS, France)

Emmanuel Filiot (ULB, Belgium)

Mariëlle Stoelinga (U Twente & Radboud University, Netherlands)

James Worrell (U Oxford, UK)







Online user: 1