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 .
Venue
Villa Giustiniani-Cambiaso
Address : Via Rodi, 3, 16145 Genova, Italy
load time : 92ms
- last update time : 24-08-2016
Event Type
Association
European Association for Theoretical Computer Science
Official Site
Weather of Genoa
12 °C
Clouds few clouds
Report Error
Leave Your Comment