Logics for games and strategic reasoning, Lisbon, Portugal

A workshop on 'Logics for games and strategic reasoning' will be held in Lisbon, Portugal, from 16 to 17 August 2010.

Strategic reasoning occurs in many multi-agent systems. This is especially evident in game-theoretical and decision-theoretical models, but also in more informal settings using the game metaphor (like computer games or social network services). Mathematical logic can contribute to this view in many ways by providing specifications, models, and/or algorithms for game-like scenarios.

The conference will examine how logic can contribute to our understanding, modeling and analysis of games. It will also cover how the metaphor of games and strategies can help in constructing and using logical formalisms.

Topics scheduled to be covered at the event includes:
- 'Logics for reasoning about games and strategies',
- 'Modal logics of strategic ability',
- 'Logical foundations of game and decision theory',
- 'Logical approaches to rationality and bounded rationality',
- 'Solving games and verification of strategies by model checking',
- 'Logics for mechanism design',
- 'Game semantics for logics',
- 'Games in verification of logical specifications'.For further information, please visit:
http://centria.di.fct.unl.pt/events/climaXI/sessions.html(opens in new window)