Atlas home || Conferences | Abstracts | about Atlas
Host: Institute for Logic, Language and Computation
Sponsor: Spinoza Project on Logic in Communication
Homepage: http://www.cwi.nl/~pauly/GameLogic/workshop1
Organizers: Alexandru Baltag, Marc Pauly
Description:
The Institute for Logic, Language and Computation (ILLC) in
Amsterdam will organize a workshop for researchers working on
logic and games. 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
Speakers: Ariel Rubinstein (Tel Aviv and Princeton University), Gabriel Sandu (University of Helsinki)
Date received: September 29, 1999
© 2008 Atlas Conferences Inc.