20-22 June 2003, TARK IX, Bloomington, Indiana, USA

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, Logic, 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, for belief, and for uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, logics of knowledge and action, formal analysis of games, applications of reasoning about knowledge and other mental states, belief revision, and the role of knowledge in general information flow.

TARK IX is held jointly with NASSLLI, so registration details can be found on the NASSLLI site at http://www.indiana.edu/~nasslli/registration.html. For other information including a preliminary program, see the TARK site at http://www.tark.org/.