TARK 2017 call for papers

[Van Der Hoek, Wiebe]

* CALL FOR PAPERS *

TARK 2017
16th Conference on Theoretical Aspects of Rationality and Knowledge
July 24-26, 2017
University of Liverpool, UK
Conference website: coming soon

About the Conference

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including 
- Artificial Intelligence, Knowledge Representation, Multi-Agent Systems
- Cognitive Science, Psychology
- Cryptography
- Distributed Computing
- Economics, Decision Theory, Game Theory, Social Choice
- Linguistics
- Philosophy
in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

TARK 2017 is the 16th conference of the TARK conference series.
Previous conferences have been held bi-annually around the world. The
most recent conference was held in 2015 at Carnegie Mellon University, Pittsburgh, USA, see http://www.imsc.res.in/tark/tark15.html.

Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty; bounded rationality and resource-bounded reasoning; commonsense epistemic reasoning; epistemic logic; epistemic game theory; knowledge and action; applications of reasoning about knowledge and other mental states; belief revision; computational social choice; algorithmic game theory; and foundations of multi-agent systems.

SUBMISSIONS

Submissions are now invited to TARK 2017. Extended Abstracts can be submitted here: https://easychair.org/conferences/?conf=tark2017

The deadline for submissions is April 3, 2017.

Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of 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.

Extended abstracts should be no longer than 5,000 words (around 6 pages, double-column style as indicated below). Optional technical details such as proofs may be included in an appendix. One author of each accepted paper will be expected to present the paper at the conference.
To format your paper please use: LaTeX2e - Tighter Alternate style
from http://www.acm.org/sigs/publications/proceedings-templates

The 5000 word limit is to ensure that the reviewers can read and express an opinion on the submission within the short time, though the submission format compresses the paper considerably. Please ensure that the main text for the reviewers stays within this limit.

TARK reviewing is not double-blind, so author names can be included in the submission.

While economics papers follow the same submission guidelines for review purposes, they can specify that only a short abstract be included for the Proceedings (with a link to a full working paper available online).
The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/. The proceedings of TARK 2017 will also be open access and available online.

Important Dates:
Submission of abstracts: April 3, 2017
Notification to authors: May 20, 2017
Camera Ready Copy of Accepted Papers due: June 10, 2017
Conference Dates: July 24 - 26, 2017 

Contacts:
Joe Halpern, conference chair, halpern at cs.cornell.edu
Jérôme Lang, program chair, lang at lamsade.dauphine.fr
Wiebe van der Hoek, organizing chair, Wiebe.Van-Der-Hoek at liverpool.ac.uk