6th International Symposium on Games, Automata, Logics and Formal Verification will be starting on 21 Sep and finishing on 23 Sep 2015.
The Symposium venue is Villa Giustiniani-Cambiaso in Genoa, Italy.
It will be a trend-setting Symposium, acclaimed as one of the most innovative meetings within the Computer, Information Technology, Computer Science, Game Theory, Logic, Automata Theory, Formal Methods and Formal Verification aspects.
GandALF 2015 is organized annually.
The association of the GandALF 2015 is European Association for Theoretical Computer Science .
Address : Via Rodi, 3, 16145 Genova, Italy