Theoretical Aspects of Rationality and Knowledge



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 has been influential in building interfaces between the above disciplines, and in accelerating new research trends, both through the actual event and the circulation of its proceedings.

 

Conference Websites

  TARK XIX
(will be held June 28 until June 30, 2023 in Oxford, United Kingdom)

  TARK XVIII
(held June 25 until June 27, 2021 in Beijing, China (online))

  TARK XVII
(held 17-19 July, 2019 in Toulouse, France)

 TARK XVI
(held July 24-26, 2017 at University of Liverpool, United Kingdom)

 TARK XV
(held June 4-6, 2015 at Carnegie Mellon University, Pittsburgh, United States)

 TARK XIV
(held January 7-9, 2013 at The Institute of Mathematical Sciences, Chennai, India)

 TARK XIII
(held July 11-15th, 2011 at the University of Groningen)

 TARK XII
(held July 6-8th, 2009 at Stanford University)

 TARK XI
(held June 25-27th, 2007 at Facultes Universitaires Saint-Louis)

 TARK X
(held June 10-12, 2005 at the National University of Singapore)

 TARK IX
(held June 20-22, 2003 in Indiana University, USA)

  TARK VIII
(held July 8-10, 2001 at the University of Siena, Italy)

 

Proceedings

TARK I

(held March 19-22nd, 1986 in Monterey, California)

TARK II

(held March 7-9th, 1988 in Monterey, California)

TARK III

(held March 4-7th, 1990 in Pacific Grove, California)

TARK IV

(held March 22-25th, 1992 in Pacific Grove, California)

TARK V

(held March 13-16th, 1994 in Pacific Grove, California)

TARK VI

(held March 17-20th, 1996 in De Zeeuwse Stromen, The Netherlands)

TARK VII

(held July 22-24th, 1998 in Evanston, Illinois)

TARK VIII

(held July 8-10th, 2001 at the University of Siena, Italy)

TARK IX

(held June 20-22nd, 2003 at Indiana University, Indiana)

TARK X

(held July 10-12th, 2005 at the National University of Singapore, Singapore)

TARK XI

(held June 25-27th, 2007 at Facultes Universitaires Saint-Louis, Belgium)

TARK XII

(held July 6-8th, 2009 at Stanford University, California)

TARK XIII

(held July 11-15th, 2011 at the University of Groningen, The Netherlands)

TARK XIV

(held January 7-9th, 2013 at The Institute of Mathematical Sciences, Chennai, India)

TARK XV

(held June 4-6th, 2015 at Carnegie Mellon University, Pittsburgh, United States)

TARK XVI

(held July 24-26, 2017 at the University of Liverpool, United Kingdom)

TARK XVII

(held July 17-19, 2019 at the Toulouse University, Toulouse, France)

TARK XVIII

(held June 25-27, 2019 at the Tsinghua University, Beijing, China (online))

 

Board of Directors