Call for Papers TARK VI

Margje Punt (
Wed, 12 Jul 1995 14:21:59 +0200 (METDST)

Sixth conference on



(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
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 formal reasoning
about rationality and knowledge. 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

Information for Authors

Submissions are now invited to TARK-VI. Please submit 12 copies of a
detailed abstract (not a full paper) to the program chair (address
below). 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 are being 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 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
Plantage Muidergracht 24, NL-1018 TV Amsterdam, The
fax: +31 20 525 5206,

Program Chair

Yoav Shoham
Computer Science Department, Stanford University
Stanford, CA 94305,
phone: +415-723-3432, fax: +415-725-1449,

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,