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.
Registration Information:because TARK is being held jointly with NASSLLI, the registration is being handled by NASSLLI: please see www.indiana.edu/~nasslli/registration.html.
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.
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)
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 (firstname.lastname@example.org). 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:
contain enough information to enable the program committee to identify the main contribution of the work;
explain the significance of the work—its novelty and its practical or theoretical implications; and
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 (email@example.com), the program chair. Hardcopy must arrive by Feb. 28, and be mailed to:
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.
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)
Joseph Y. Halpern
Computer Science Department
Itacha, NY 14853
Faculty of Industrial Engineering and Management
Technion–Israel Institute of Technology
Haifa 32000, Israel
Lawrence S. Moss
Department of Mathematics
Bloomington, IN 47405-5701 USA
Board of Directors