Universiteit van Amsterdam


Institute for Logic, Language and Computation

21 - 23 September 2020, Eleventh International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020), Online

Date: 21 - 23 September 2020
Location: Online
Deadline: Tuesday 30 June 2020

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

This year, GANDALF will be organised together with a workshop on Stochastic Games organised by the GAMENET network which will held on September 23-24, 2020. The GAMENET meeting will focus on stochastic games with applications in computer science, economy and mathematics.

Due to COVID19 outbreak, the local organization committee and the steering committee of Gandalf have decided that the conference will be organized online this year.

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.

Submitted papers should not exceed fourteen (14) pages using EPTCS format, be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission.

For more information, see https://di.ulb.ac.be/verif/gandalf2020/.