Logic List Mailing Archive

"Logic, Game Theory and Social Choice 3", Siena Sep 2003

LOGIC, GAME THEORY AND SOCIAL CHOICE 3
Certosa di Pontignano (Siena), September 11-14, 2003

http://www.econ-pol.unisi.it/lgs3/

Following LGS1 (Tilburg 1999) and LGS2 (St.Petersburg 2001), LGS3 will
bring into focus the developing theoretical connections between logic and
game theory, game theory and social choice, logic and social choice. The
conference program will consist of invited lectures and contributed
papers.  Submissions of contributed papers are invited. Papers focussing
on connections between the relevant disciplines are especially encouraged
by the Program Committee.

The topics of LGS3 include, but are not limited to : 

                 -         Logic and Game Theory: game semantics,
                           information flow in games,  knowledge
                           representation in games, category-theoretic and
                           recursion-theoretic methods in game theory 

                 -         Game Theory and Social Choice: implementation,
                           coalition formation, strategy-proofness 

                 -         Social Choice and Logic: rights-systems
                           modelling, uses of deontic and fuzzy logics in
                           social choice theory, category-theoretic and
                           recursion-theoretic methods in social choice