Margje Punt (margje@cs.ruu.nl) Mon, 31 Jul 1995 Sixth conference on THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE TARK VI (previously: Theoretical Aspects of Reasoning about Knowledge) March 17 - 20, 1996 De Zeeuwse Stromen (a seaside resort), The Netherlands About the conference ==================== The mission of the bi-annual TARK conferences is to bring together resear- chers from a wide variety of fields - including Artificial Intelligence, Crypto- graphy, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology - in order to further our understanding of in- terdisciplinary issues involving formal reasoning about rationality and know- ledge. Topics of interest include, but are not limited to, semantic models for knowledge, for belief, and for uncertainty, bounded rationality and resource- bounded reasoning, commonsense epistemic reasoning, knowledge and action, applications of reasoning about knowledge and other mental states, and belief revision. Previously a by-invitation-only conference, TARK is now open to all interested attendees. TARK-VI is the first to be held outside the United States. Information for Authors ======================= Submissions are now invited to TARK-VI. Please submit 12 copies of a de- tailed abstract (not a full paper) to the program chair (address below). Two types of submission are invited - papers reporting on novel research, and ex- pository 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 informa- tion 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 inclu- ded. Papers arriving late or departing significantly from these guidelines risk immediate rejection. Economists should be aware that special arrangements are being made with certain economics journals (in particular, with the Jour- nal 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 of abstracts is October 10, 1995. Authors will be notified of acceptance by December 15, 1995. Camera-ready copies of the accepted papers will be due by January 15, 1996. One author of each accepted paper will be expected to present the paper at the conference. The conference proceedings will be published. Program Committee ***************** Barbara Grosz (Harvard University, AI / computational linguistics) Peter G"ardenfors (Lund University, Philosophy) Sergiu Hart (Hebrew University, Economics / Mathematics) Hans Kamp (Stuttgart University, Linguistics) Daphne Koller (U.C. Berkeley, Computer Science) Stephen Morris (University of Pennsylvania, Economics) Gil Neiger (Georgia Institute of Technology, Computer Science) Christos Papadimitriou (U.C. San Diego, Computer Science) Krister Segerberg (Uppsala University, Philosophy) Yoav Shoham, Chair (Stanford University, AI) Moshe Tenneholtz (Technion, Management) Michael Wellman (University of Michigan, AI). Conference Chair **************** Johan van Benthem _____- ILLC, Department of Mathematics & Computer Science, University of Am- sterdam Plantage Muidergracht 24, NL-1018 TV Amsterdam, The Netherlands fax: +31 20 525 5206, email: johan@fwi.uva.nl Program Chair ************* Yoav Shoham ___- Computer Science Department, Stanford University Stanford, CA 94305, USA phone: +415-723-3432, fax: +415-725-1449, email: shoham@cs.stanford.edu Local Arrangements ****************** Peter van Emde Boas (University of Amsterdam) ______- John-Jules Charles Meyer (University of Utrecht) ________ Department of Mathematics and Computer Science, Utrecht University Padualaan 14, De Uithof, 3508 TB Utrecht, The Netherlands tel: +31-(0)30-534117, fax: +31-(0)30-513791, email: peter@fwi.uva.nl/jj@cs.ruu.nl