Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

14-16 September 2016, Seventh International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016), Catania, Italy

Date: 14-16 September 2016
Location: Catania, Italy
Deadline: 20 May 2016

The aim of the 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 an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization.

Invited speakers include Luca Bertolussi (Trieste, Italy), Joanna Golinska-Pilarek (Warsaw, Poland) and Arnaud Sangnier (Paris Diderot, France)

For more information, see http://gandalf2016.dmi.unict.it

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

Please note that this newsitem has been archived, and may contain outdated information or links.