20-24 August 2001, ESSLLI Workhop on Logic and Games, Helsinki, Finland

20-24 August 2001, ESSLLI Workhop on Logic and Games, Helsinki, Finland
Call for Papers
New Deadline: April 9th, 2001

Games have been utilized within logic for a variety of different purposes such as semantic evaluation games, model comparison games, and proof games. On the other hand, logic has become increasingly important in game theory, in particular for the epistemic foundation of game-theoretic solution concepts. As the TARK and LOFT conferences show, interaction between logic and game theory has become more diverse in recent years, exploring game logics, the use of game-theory in multi-agent systems, game-theoretic accounts of natural language phenomena, and the role of language in defining preferences.

The workshop is part of the 13th European Summer School in Logic, Language and Information (ESSLLI) which takes place at the University of Helsinki from August 13 until August 24, 2001 (http://www.helsinki.fi/esslli). The workshop aims to provide a forum for advanced Ph.D. students and other researchers from game theory and logic to present their research on (1) game- theoretic techniques applied to logic, and (2) logical models or analyses of games and game-theoretic problems. We specifically invite presentations in any of the following areas:

1. Logical analysis of games, e.g. modeling knowledge, belief, and information flow in games; applications of epistemic and dynamic logic to games
2. Logic games, e.g. model comparison games, semantic evaluation games, Independence-friendly logic
3. Game logics, e.g. extensions of program logics and modal logics to investigate the structure of games in general
4. The role of language and logical definability in games, and connections between natural language and games generally
5. Logical approaches to multi-agent systems with a special focus on game-theoretic aspects

For more information, see http://www.cwi.nl/~pauly/GameLogic/call-esslli.