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.
Publications
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)