September 10 – 12, 2014, Verona, Italy
The aim of GandALF 2014 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. 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.
GandALF 2014 is co-located with
- TIME 2014 (the 21st International Symposium on Temporal Representation and Reasoning), September 8 – 10, 2014, and
- ICHI 2014 (IEEE International Conference on Healthcare Informatics), September 15 – 17, 2014.
Pictures took during the conference are available here.