The Knowledge Management Education Hub

This is no official page!

No warranty for correctness & completeness!
This site will be updated with no ads and linked to its KMedu opportunities
as soon as the provider subscribes to this service!
(sample pages: training, university, community, conference)

Monthly Featured

The biennial Conference on Theoretical Aspects of Rationality & Knowledge (TARK), formerly the Conference on Theoretical Aspects of Reasoning about Knowledge (TARK), aims to bring together researchers interested in issues surrounding knowledge and rationality. TARK draws contributions 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.

Since 2000, TARK is held in odd-numbered years alternately with the Conference on Logic and the Foundations of Game and Decision Theory (LOFT) which is held in even-numbered years. Before they have been held in the same even-numbered years.

Conference History:

20th TARK-2025, July 14-16, 2025, University of Düsseldorf, Dusseldorf, Germany

(Host: Computational Complexity and Cryptology Working Group, Department of Informatics, University of Düsseldorf)

Keynotes:
Knowledge, Welfare and Strategic Responsibility: Paradoxical Results and Open Questions
When Algorithms Shape Behavior: Rethinking Fairness in Classification
Global Subjective Expected Utility Representations
General Search Techniques Without Common Knowledge for Imperfect-Information Games, and Application to Superhuman Fog of War Chess

Conference Sessions:
…

Flash Talks for the Posters
Poster Sessions

Associated Events:
10th EPICENTER Summer Course on Epistemic Game Theory, June 30 – July 11, 2025, Maastricht University, The Netherlands

19th TARK-2023, June 28-30, 2023, University of Oxford, Oxford, United Kingdom

(Host: Department of Computer Science, University of Oxford)

Invited Talks:
Rationality amounts to reason when others are ends, not means
Incorporating Culture into Game Theory
Modeling Conflict in Social Media
Contextualism and Awareness Growth

Conference Sessions:
Games and information
Reasoning about knowledge in distributed systems
Knowledge and games
Reasoning and acting
Update expressivity
Belief Revisio
Reasoning About Information
Modal Logic Foundations
Variations on Epistemic Logic
Reasoning in groups

Flash talks & Poster Session

18th TARK.2021, June 25-27, 2021, Tsinghua University, Beijing, China Online

(Host: Tsinghua University – University of Amsterdam Joint Research Centre for Logic, Tsinghua University)

Conference program n.a.

17th TARK-2019, July 17-19, 2019, Université Toulouse 1 Capitole, Toulouse, France

(Host: Institut de Recherche en Informatique de Toulouse)

Conference program n.a.

16th TARK-2017, July 24-26, 2017, University of Liverpool, United Kingdom

(Host: Department of Computer Science, University of Liverpool)

Invited Talks:
From model checking to equilibrium checking
Justified Representation: Axioms and Algorithms
What matters and how it matters: A choice-theoretic representation of moral theories
Beliefs, Plans, and Perceived Intentions in Games
One Hundred Prisoners and a Light Bulb. Solving Logical Puzzles

Oral Presentations Sessions:
Titles n.a.

Short Talks (announcing posters) & Poster Sessions

Co-located Events:
International Workshop on Strategic Reasoning (SR), Jul 26-27

15th TARK-2015, June 4-6, 2015, Carnegie Mellon University, Pittsburgh, USA

(Host: Center for Formal Epistemology, Department of Philosophy, College of Humanities & Social Sciences, Carnegie Mellon University)

Invited Talks:
Rationality and Beliefs in Dynamic Games: Revealed-Preference Foundations
Human Agent Decision Making: Combining theory and practice
Quine’s Topiary: Coordination and Change in an Artificial Society
The Problem of Analogical Inference in Inductive Logic

Conference Sessions:
Titles n.a.

Discussion at the Poster Boards

Tutorials:
Recent Methodological Advances in Causal Discovery and Inference

Co-located events:
Carnegie Mellon Summer School in Logic and Formal Epistemology, Jun 1-19

14th TARK-2013, January 7-9, 2013, Institute of Mathematical Sciences, Chennai, India

(Host: Theoretical Computer Science Group, Institute of Mathematical Sciences)

Invited Talks:
Dynamic Epistemic Game Theory
Knowledge Representation and Computer-Aided Theorem Discovery
Logic in the Lab

Conference Sessions:
Complexity
Agreement and Interactive Preferences
Awareness
Common Knowledge, Communication, and Coordination
Knowledge-Based Programs
Strategic Interaction
Titles n.a. (3)

Short Presentations

Co-located Conferences:
Indian Conference on Logics and Applications (ICLA), Jan 10 – 12

13th TARK-2011, July 11-15, 2011, University of Groningen, The Netherlands

(Host: Institute of Artificial Intelligence and Cognitive Engineering, Artificial Intelligence Department, Faculty of Mathematics and Natural Sciences, University of Groningen)

Invited Talks:
Exploring a Theory of Play
Strategic Communication

Conference Sessions:
Beliefs and Awareness
Bargaining and Social Choice
Intelligent Interaction
Strategic Games
Temporal Aspects
Protocols
Best Paper Prize

Short Presentations

Tutorials: (Invited)
Questions in Decision Theory
Connections of Coalgebra and Semantic Modeling

Pre-post-Conference Workshops:
Reasoning about other minds: logical and cognitive perspectives, Jul 11
Quantum physics meets TARK, Jul 15

12th TARK-2009, July 6-8, 2009, Stanford University, CA, USA

(Host: Stanford Graduate School of Business, Stanford University)

Invited Talks:
Origins of Epistemics
Rationality and Social Ontology
Considerations on the Logic of Intention
Designing Markets: Economics, Computer Science and the Real Worlds (with EC)

Conference Sessions:
Titles n.a.

Poster Session

Co-located Conferences:
ACM Conference on Electronic Commerce (EC), Jul 6-10

11th TARK-2007, June 25-27, 2007, Facultes Universitaires Saint-Louis, Bruxelles, Belgium

(Host: Center for Operations Research & Econometrics, Facultes Universitaires Saint-Louis)

Invited Papers:
No regrets: or: Edith Piaf revamps decision theory
Learning, regret minimization and option pricing
Games, geometry, and the computational complexity of finding equilibria

Conference Sessions:
Probability and uncertainty
Equilibrium and social choice
Unawareness
Dynamics
n.a. (1)

Posters

10th TARK-2005, June 10-12, 2005, National University of Singapore, Singapore

(Host: School of Computing and Institute for Mathematical Sciences, National University of Singapore)

Conference program n.a.

Invited Talks:
Redoing the foundations of decision theory: Decision theory with subjective state spaces (WUE)
Uncertainty in Mechanism Design (WUE)
Games in system design and verification
Uncoupled Dynamics and Nash Equilibria
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
Inductive inference as ampliative and non monotonic reasoning

Conference Sessions:
Game theory/ Bounded Rationality
Logical Omniscience
Models of multi-agent knowledge
New Issues
Mechanism Design
Social Choice/ Preferences
Logic of Knowledge in Distributed Computing
Dynamics of Knowledge/ Logic of knowledge

Post-conference Tutorials: (Jun 13)
Tutorial on Computational mechanism design and auctions

Co-located Events:
Workshop on Uncertainty in Economics (WUE), Jun 6-10

9th TARK-2003, June 20-22, 2003, Indiana University, Bloomington, IN, USA

(Host: Department of Mathematics, Indiana University)

Invited Talks:
Structured interaction in game theory
Economic efficiency versus complexity communication
Enumerative induction
Dynamic models of coalition formation: fallback vs. build-up

Conference Sessions:
Titles n.a.

NASSLLI Tutorials: (relevant to TARK)
Games in informational form
Algorithmic verification for epistemic logic

Co-located Events:
NASSLLI (the North American Summer School in Logic, Language and Information), Jun 17-21
Mathematics of Language (MoL), Jun 20-22

8th TARK-2001, July 8-10, 2001, University of Siena, Siena, Italy

(Host: Department of Political Economics, University of Siena)

Note: The previously by-invitation-only conference is now open to all

Invited Lectures:
Epistemology Probabilized
Some Philosophical Aspects of Reasoning about Knowledge
Planning and Programming with First-order Representations of Markov Decision Processes
Structured Models for Multi-agents Interactions
Superagency: beyond an individualistic theory of games

Conference Sessions:
Probability and uncertainty
Logic, linguistics and information
Links with general philosophy
Computation, communication, belief revision
Interfaces economics and computer science
Exploring computer science perspectives
Computer science, games, and logic
Game theory

Co-located Events:
Workshop of the International School of Economic Research: Cognitive Processes and Rationality in Economics, Jul 3-7

7th TARK-1998, July 22-24, 1998, Northwestern University, Evanston, IL, USA

(Host: Department of Economics, Northwestern University)

Invited Talks:
An Architecture for Heterogeneous Reasoning
Object Identification in a Bayesian Context
Quantified Beliefs and Believed Quantities
Interaction Games: A Unified Analysis of Incomplete Information and Local Interaction

Conference Sessions:
…

Co-located Conferences:
Northwestern’s Summer Workshop in Microeconomics (aka Northwestern Conference on Microeconomic Theory), Jul 24-28

6th TARK-1996, March 17-20, 1996, Renesse, The Netherlands

(Host: Department of Mathematics and Computer Science, Utrecht University)

Note: The conference title changed from “Theoretical Aspects of Reasoning about Knowledge” to “Theoretical Aspects of Rationality and Knowledge”

Conference program n.a.

Invited Talks:
Causation, Action and Counterfactuals
On the Interpretation of Decision Problems with Imperfect Recall
Belief Revision and Knowledge Representation
…n.a.

Special Sessions:
Knowledge-based programs
Imperfect recall
Belief change
Common knowledge

5th TARK-1994, March 13-16, 1994, Pacific Grove, CA, USA

(Host: Almaden Research Center, IBM Research)

Conference program n.a.

…

4th TARK-1992, March 22-25, 1992, Pacific Grove, CA, USA

(Host: IAlmaden Research Center, IBM Research)

Conference program n.a.

…

3rd TARK-1990, March 4-7, 1990, Pacific Grove, CA, USA

(Host: Almaden Research Center, IBM Research)

Conference program n.a.

…

2nd TARK-1988, March 7-9, 1988, Pacific Grove, CA, USA

(Host: Almaden Research Center, IBM Research)

Conference program n.a.

…

1st TARK-1986, March 19-22, 1986, Monterey, CA, USA

(Host: Almaden Research Center, IBM Research)

Conference program n.a.

…