24-26 Jul 2017
Liverpool, England
* 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@cs.cornell.edu Jrme Lang, program chair, lang@lamsade.dauphine.fr Wiebe van der Hoek, organizing chair, Wiebe.Van-Der-Hoek@liverpool.ac.uk -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam