The aim of the International Symposium on Games, Automata, Logic and Formal Verification (GANDALF) 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.

EurAI sponsored the 8th edition of GANDALF (2017, Rome - Italy)

> CLICK HERE to see other Conferences sponsored by EurAI <