The full version of this announcement is available.
The mission of the bi-annual TARK conferences is to bring together researchers from a number of fields, including A.I., Cryptography, Distributed Computing, Economics, 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 States.
Information for Authors
Submissions are invited to TARK-VI. 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. Prospective authors should consult the detailed submission information in the full version of this announcement.
Deadline for Submissions
The deadline for submission of abstracts is October 10, 1995.
Authors will be notified of acceptance by December 15, 1995.
Camera-ready copies will be due by January 15, 1996.
Conference Chair
Johan van Benthem, ILLC,
Dep't of Mathematics & Computer Science, University of Amsterdam
Plantage Muidergracht 24, NL-1018 TV Amsterdam, The Netherlands
email: johan@fwi.uva.nl
Program Chair
Yoav Shoham, Computer Science Department, Stanford University,
Stanford, CA 94305, USA
email: shoham@cs.stanford.edu