[Hol-info] Final CFP: 4th International Workshop on Strategic Reasoning (SR 2016)

4th International Workshop on Strategic Reasoning (SR2016) To be held as Satellite Workshop of LICS 2016 9-10 July 2016, New York City, USA. https://sites.google.com/site/sr2016homepage/home Introduction Strategic reasoning is a key topic in the multi-agent systems research area. The literature

[Hol-info] GandALF 2012 -- Call for participation --

* --GandALF 2012- * Third International Symposium on Games, Automata, Logics, and Formal Verification Napoli, Italy, September 6

[Hol-info] GAMES 2012 -- Call for participation --

[We apologize if you have received multiple copies of this message] GAMES 2012 - CALL FOR PARTICIPATION Annual Workshop of the ESF Networking Programme on Games for Design and Verification 7th - 12th September 201

[Hol-info] GAMES 2012 -- Call for contributions --

[We apologize if you have received multiple copies of this message] GAMES 2012 - CALL FOR CONTRIBUTIONS Annual Workshop of the ESF Networking Programme on Games for Design and Verification 7th - 12th September 201

[Hol-info] Call for papers GandALF 2012 -- EXTENDED DEADLINE

[We apologize if you have received multiple copies of this message] * --GandALF 2012- * Third International Symposium on Games,