Universiteit van Amsterdam


Institute for Logic, Language and Computation

2 - 4 September 2019, Tenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019), Bordeaux, France

Date: 2 - 4 September 2019
Location: Bordeaux, France
Deadline: Wednesday 15 May 2019

The aim of the GandALF 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 symposium covers a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization.

Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.

For more information, see https://gandalf2019.sciencesconf.org/.