Event | When | Where | Deadline | |
GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
GAMES 2012 |
Annual Workshop of the ESF Networking Programme on Games for Design and Verification | |
Sep 7, 2012 - Sep 12, 2012 |
Napoli, Italy |
Jun 27, 2012 |
SR 2013 |
First International Workshop on Strategic Reasoning | |
Mar 16, 2013 - Mar 17, 2013 |
Rome |
Dec 27, 2012 (Dec 21, 2012) |
SR 2014 |
Second International Workshop on Strategic Reasoning | |
Apr 5, 2014 - Apr 6, 2014 |
Grenoble, France |
Dec 30, 2013 (Dec 27, 2013) |
GandALF 2014 |
5th International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 10, 2014 - Sep 12, 2014 |
Verona |
Jun 1, 2014 (May 27, 2014) |
SR 2015 |
Third International Workshop on Strategic Reasoning | |
Sep 21, 2015 - Sep 22, 2015 |
Oxford, England |
Jul 3, 2015 (Jul 1, 2015) |
SR 2016 |
4th International Workshop on Strategic Reasoning | |
Jul 9, 2016 - Jul 10, 2016 |
New York |
Apr 18, 2016 |
SR 2017 |
Fifth International Workshop on Strategic Reasoning | |
Jul 26, 2017 - Jul 27, 2017 |
University of Liverpool, UK |
May 15, 2017 (May 8, 2017) |
|