Corpora: ESSLI 2001 Workshop on Logic and Games

From: Marc Pauly (Marc.Pauly@cwi.nl)
Date: Mon Jan 29 2001 - 13:51:57 MET

  • Next message: Priscilla Rasmussen: "Corpora: 2nd CFP--3rd Workshop on Inference in Computational Semantics (ICoS-3)"

    Apologies for multiple copies

    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    %% %%
    %% Second Call for Papers %%
    %% %%
    %% ESSLLI Workshop on Logic and Games %%
    %% %%
    %% %%
    %% August 20-24, 2001 %%
    %% Helsinki, Finland %%
    %% %%
    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    GENERAL INFORMATION:
    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 (http://www.tark.org) and LOFT (http://www.econ.ucdavis.edu/
    faculty/bonanno/loft4.html) 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

    SUBMISSION GUIDELINES:
    Papers should not exceed 15 pages in length. A postscript or pdf
    version of the paper should be submitted by e-mail to BOTH
    organizers before the deadline given below. Note that all workshop
    contributors must register for the summer school.

    ORGANISERS:
    Marc Pauly Gabriel Sandu
    CWI Department of Philosophy
    P.O. Box 94079 P.O. 24 (Unioninkatu 40)
    1090 GB Amsterdam 00014 University of Helsinki
    The Netherlands Finland
    E-mail: pauly@cwi.nl E-mail: Sandu@elo.helsinki.fi

    IMPORTANT DATES:
    Submission deadline: March 15, 2001
    Notification of contributors: May 1, 2001
    Final version due: June 1, 2001
    Workshop Dates: August 20-24, 2001



    This archive was generated by hypermail 2b29 : Wed Jan 31 2001 - 10:46:44 MET