TARK 2017

Sixteenth conference on
Theoretical Aspects of Rationality and Knowledge

Programme

Monday
8:30	Registration Opens Lobby of the Electrical Engineering & Electronics building (See building 235 on the University Campus map, or the accommodation map)
9:00	Invited Talk Mike Wooldridge From model checking to equilibrium checking
9:50	coffee
10:20	Short Talks (announcing posters) Ivano Ciardelli and Martin Otto Bisimulation in inquisitive modal logic Kohei Kishida Categories for Dynamic Epistemic Logic Pavel Naumov and Jia Tao Together We Know How to Achieve: An Epistemic Logic of Know-How Ron van der Meyden Optimizing Epistemic Model Checking using Conditional Independence Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares and Jessica Taylor A Formal Approach to the Problem of Logical Non-Omniscience Louwe B. Kuijer Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE Will Nalls and Adam Bjorndahl Endogenizing Epistemic Actions Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis and Nachoem Wijnberg Towards an epistemic-logical theory of categorization Rustam Galimullin and Natasha Alechina Coalition and Group Announcement Logic Krzysztof Apt and Dominik Wojtczak Common Knowledge in a Logic of Gossips
11:30	Posters
12:30	Lunch (with posters)
13:30	Posters
14:30	Oral Presentations: Francesco Belardinelli, Hans van Ditmarsch and Wiebe Van Der Hoek. A Logic for Global and Local Announcements Joseph Halpern and Rafael Pass. A Knowledge-Based Analysis of the Blockchain Beliefs Adam Bjorndahl and Aybüke Özgün Logic and Topology for Knowledge, Knowability, and Belief Rafal Urbaniak Reconciling bayesian epistemology and narration-based approaches to judiciary fact-finding
16:10	coffee
16:40	Invited Talk Edith Elkind Justified Representation: Axioms and Algorithms
17:30	Drinks Reception
Tuesday
9:00	Invited Talk Christian List What matters and how it matters: A choice-theoretic representation of moral theories
9:50	coffee
10:25	Short Talks (announcing posters) Stephan Jagau and Andrés Perea Common Belief in Rationality in Psychological Games Johan van Benthem, Nick Bezhanishvili and Sebastian Enqvist A new game equivalence and its modal game logic Adam Bjorndahl and Joseph Halpern From Type Spaces to Probability Frames and Back, via Language Jan van Eijck and Kai Li Conditional Belief, Knowledge and Probability Pierfrancesco Guarino The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems Zoé Christoff and Davide Grossi Binary Aggregation with Delegable Proxy: An Analysis of Liquid Democracy Konstantin Genin and Kevin Kelly The Topology of Statistical Verifiability Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro and Laurent Perrussel Relaxing Exclusive Control in Boolean Games Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge and Harmen de Weerd What drives people’s choices in turn-taking games, if not game-theoretic rationality?
11:30	Posters
12:30	Lunch (with posters)
13:30	Posters
14:30	Oral Presentations: Weiwei Chen and Ulle Endriss Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks Chenwei Shi, Sonja Smets and Fernando R. Velázquez-Quesada Argument-based Belief in Topological Structures Franz Dietrich and Christian List Choice-Theoretic Deontic Logic
15:45	coffee
16:15	Oral Presentations: Omer Lev and Moshe Tennenholtz Group Recommendations: Axioms, Impossibilities, and Random Walks Dominik Peters Condorcet's Principle and the Preference Reversal Paradox Philippe Mongin Bayesian Decision Theory and Stochastic Independence
17:30	Business Meeting
19:00	Conference Dinner
Wednesday
9:00	Oral Presentations: Wesley Holliday and Thomas Icard Indicative Conditionals and Dynamic Epistemic Logic Yanjing Wang A new modal framework for epistemic logic Joseph Halpern, Ron van der Meyden and Riccardo Pucella An Epistemic Foundation for Authentication Logics
10:15	coffee
10:40	Rump Session
11:40	Invited Talk (joint with the SR workshop) Pierpaolo Battigalli Beliefs, Plans, and Perceived Intentions in Games
12:30	Lunch
13:30	Oral Presentations (joint with the SR workshop) Ziv Hellman and Alia Gizatulina No Trade and Yes Trade Theorems for Heterogeneous Priors (TARK) Andrés Perea Why forward induction leads to the backward induction outcome: A new proof for Battigalli's theorem (TARK) Emiliano Catonini Rationalizability and epistemic priority orderings (TARK) Hans van Ditmarsch Asynchronous Announcements (SR)
15:10	coffee
15:40	Oral Presentations (joint with the SR workshop) Burkhard Schipper Self-confirming games: Unawareness, discovery, and equilibrium (TARK) Arpita Ghosh and Joseph Halpern Games With Tolerant Players (TARK) Dietmar Berwanger and Ramanujam Deviator detection under imperfect monitoring (SR)
17:00	Break
18:00	Invited Talk (sponsored by EurAI) Hans van Ditmarsch and Barteld Kooi One Hundred Prisoners and a Light Bulb. Solving Logical Puzzles
19:00	Evening Drinks
20:30	SR Conference Dinner

April 3rd, 2017	Registration of Papers
April 12th, 2017	Submission of Papers
May 24th, 2017	Author Notification
June 19th, 2017	Camera Ready Copies Due
(deadline extended)
July 24th-26th, 2017	Main Conference

TARK 2017

Sixteenth conference on
Theoretical Aspects of Rationality and Knowledge

Programme

Monday

Tuesday

Wednesday

Key Dates

Sponsors

TARK 2017

Sixteenth conference onTheoretical Aspects of Rationality and Knowledge

Programme

Monday

Tuesday

Wednesday

Key Dates

Sponsors

Sixteenth conference on
Theoretical Aspects of Rationality and Knowledge