Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18-19 August 2014, Logics for Games and Strategic Reasoning and Social Choice, Prague, Czech Republic

Date: 18-19 August 2014
Location: Prague, Czech Republic
Deadline: 11 May 2014

Strategic reasoning occurs in many multi-agent scenarios. This is evident in theoretical approaches to MAS, as well as in practical solutions used, for example, in computer games, IT infrastructures for e-voting procedures, social network services, etc. This special session at CLIMA XV (Computational Logic in Multi-Agent Systems) addresses the question how formal logic can contribute to our understanding, modeling and analysis of strategic behavior, and investigates how the metaphors of game and social interaction can help in constructing and using logical formalisms.

For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXVsessions.html or contact the organizer, Wojtek Jamroga (University of Luxembourg), at . For general information on CLIMA XI, see http://centria.di.fct.unl.pt/events/climaXIV/ or contact .

We encourage submission of high quality, original papers which have not been accepted for publication nor are currently under review for another journal or conference. Submissions should not exceed 16 pages in the Springer LNCS format. Note that, while theoretical papers are welcome, submissions must include at least some illustrating examples. Submission deadline: May 11, 2014

Please note that this newsitem has been archived, and may contain outdated information or links.