Logic List Mailing Archive

TARK IX (Theoretical Aspects of Rationality and Knowledge), Bloomington IN, June 20-22, 2003

TARK IX

                              June 20-22, 2003

                          Bloomington, Indiana, USA


http://www.tark.org/cfp03.html

About the Conference

The mission of the TARK conferences is to bring together researchers from
a wide variety of fields - including Artificial Intelligence,
Cryptography, Distributed Computing, Economics and Game Theory,
Linguistics, Philosophy, and Psychology - in order to further our
understanding of interdisciplinary issues involving reasoning about
rationality and knowledge. Topics of interest include, but are not
limited to, semantic models for knowledge, belief, and uncertainty,
bounded rationality and resource-bounded reasoning, commonsense epistemic
reasoning, epistemic logic, knowledge and action, applications of
reasoning about knowledge and other mental states, belief revision, and
foundations of multi-agent systems. TARK IX will be coordinated with the
the 2nd North American Summer School in Logic, Language and Information
(NASSLLI 2003; www.indiana.edu/~nasslli). NASSLLI will offer TARK-related
courses, and some talks will be shared by TARK and NASSLLI, allowing for
interaction between prominent researchers and research students.

Invited Speakers and Tutorials

In addition to the technical paper presentations, TARK IX will include
also several invited talks and tutorials.

Invited speakers:

    Steven Brams (NYU)
    Michael Kearns (University of Pennsylvania)
    Dov Monderer (Technion)
    Wolfgang Spohn (University of Konstanz)

Relevant tutorials (to be coordinated with NASSLLI):

    Algorithmic verification for epistemic logic, Ron von der Meyden,
    (University of New South Wales)
    Games in informational form, Dov Monderer (Technion)