Ninth conference on

Theoretical Aspects of Rationality and Knowledge



June 20-22, 2003

Bloomington, Indiana, USA

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; 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.

Registration Information: because TARK is being held jointly with NASSLLI, the registration is being handled by NASSLLI: please see

Invited Speakers and Tutorials

For a draft of the technical program in PDF format, please click here.

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

Invited speakers:

Relevant tutorials (to be coordinated with NASSLLI):

Information for Authors

Submissions are now invited to TARK IX. Please submit 15 copies of a detailed abstract (not a full paper) to the program chair (address below). In addition, please send an electronic copy of this detailed abstract, in PDF format, to the program chair ( Two types of submission are invited – papers reporting on novel research, and expository papers. Each submission should be clearly identified as belonging to one category or the other. In both categories, strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and all papers should be written so that they are accessible to such an audience. Novel research abstracts will be held to the usual high standards of novel research publications. In particular, they should:

  1. contain enough information to enable the program committee to identify the main contribution of the work;

  2. explain the significance of the work—its novelty and its practical or theoretical implications; and

  3. include comparisons with and references to relevant literature.

Expository abstracts, which will be held to similarly high standards, may survey an area or report on a more specific previously published work; the abstract should make clear the relevance to the TARK audience. Abstracts should be no longer than ten double-spaced pages (4,000 words). If possible, an email address for the contact author should be included. Papers arriving late or departing significantly from these guidelines risk immediate rejection. Economists should be aware that special arrangements have been made with certain economics journals (in particular, with the Journal of Economic Theory and with Games and Economic Behavior) so that publication of an extended abstract in TARK will not prejudice publication of a full journal version.

The deadline for submission is February 25, 2003. By this date a PDF file must be sent to Moshe Tennenholtz (, the program chair. Hardcopy must arrive by Feb. 28, and be mailed to:
    Moshe Tennenholtz
    Faculty of Industrial Engineering and Management
    Technion--Israel Institute of Technology
    Haifa 32000, Israel

Authors will be notified of acceptance by April 14, 2003. Camera-ready copies of the accepted papers will be due by May 14, 2003. One author of each accepted paper will be expected to present the paper at the conference. The conference proceedings will be published.

Program Committee

Geir Asheim (Economics, Oslo)
Maya Bar Hillel (Psychology, Hebrew University)
Cristina Bicchieri (Decision Sciences and Philosophy, CMU)
Craig Boutilier (AI, Toronto)
Yossi Feinberg (Economics, Stanford)
Daniel Lehmann (Computer Science, Hebrew University)
Stephen Morris (Economics, Yale)
Motty Perry (Economics, Hebrew Universiity)
Avi Pfeffer (AI, Harvard)
Ilya Segal (Economics, Stanford)
Jeremy Seligman (Philosophy, Auckland )
Brian Skyrms (Philosophy and Economics, Irvine)
Moshe Tennenholtz (PC Chair, AI, Technion)
Moshe Vardi (Computer Science, Rice)
Frank Veltman (Philosophy, Amsterdam)

Conference Chair

Joseph Y. Halpern
Computer Science Department
Cornell University
Itacha, NY 14853
phone: (607)-255-9562
fax: (607)-255-4428

Program Chair

Moshe Tennenholtz
Faculty of Industrial Engineering and Management
Technion–Israel Institute of Technology
Haifa 32000, Israel
phone: (972-4)-829-4550
fax: (972-4)-823-5194

Local Arrangements

Lawrence S. Moss
Department of Mathematics
Indiana University
Bloomington, IN 47405-5701 USA
phone: (812)-855-8281
fax: (812)-855-0046


Board of Directors