The conference will take place at the Institute for Mathematical Sciences (IMS) at the National University of Singapore (NUS), located on the campus in the renovated bungalows (Nos. 3 & 4) at Prince George's Park. Please see here for information how to get there by public transport.
Thursday 9 June
---------------
7:00 pm - 9:00 pm TARK Reception
Orchard Parade Hotel, Pool Terrace level 6
(open air poolside venue)
1 Tanglin Road
(at the beginning of the Orchard Road)
In the event of unforeseen bad weather,
reception will be held in the Artica room.
Friday, 10 June (Joint Day TARK and WUE
(Workshop on Uncertainty in Economics))
---------------------------------------------------------
8:30 - 9:00 TARK Registration
9:00 - 10:00
WUE invited talk
Joe Halpern (Cornell University, Ithaca)
Redoing the foundations of decision theory:
Decision theory with subjective state spaces
10:00 - 11:00
WUE invited talk
Chris Shannon (University of California, Berkeley)
Uncertainty in Mechanism Design
11:00 - 11:40 Opening Ceremony and Reception
11:40 - 12.40
TARK invited talk
Tom Henzinger (EPFL, Lausanne)
Games in System Design and Verification
12:30 - 2:00 lunch
2.00 - 3.30
TARK Session
Game theory/ Bounded Rationality
Individual Error, Group Error, and the Value of Information
Itai Sher (Northwestern University)
Order Independence and Rationalizability
Krzysztof R. Apt (National University of Singapore and CWI, Amsterdam)
Efficiency in Negotiation: Complexity and Costly Bargaining
Jihong Lee (Birkbeck College, University of London),
Hamid Sabourian (University of Cambridge)
3.30 - 4:00 break
4:00 - 5:00
TARK invited talk
Sergiu Hart (Hebrew University at Jerusalem)
Uncoupled Dynamics and Nash Equilibria
Saturday, 11 June
-----------------
9:00 - 10:00 TARK invited talk
Rohit Parikh (CUNY, New York)
Logical Omniscience and Common Knowledge;
WHAT do we know, and what do WE know?
10:00 - 11:00
TARK Session
Logical Omniscience
Interactive Unawareness Revisited
Joseph Halpern, Leandro Rego (Cornell University, Ithaca)
Complexity Results for Logics of Local Reasoning and
Inconsistent Belief
Martin Allen (University of Massachusetts at Amherst)
11:00 - 11:30 break
11:30 - 12:30 TARK Session
Models of multi-agent knowledge
Semantics for multi-agent only knowing (extended abstract)
Arild Waaler (Finnmark College and University of Oslo),
Bjarnar Solhaug (SINTEF)
Universal Knowledge-Belief Structures
Martin Meier (Instituto de Anlisis Economico - CSIC)
12:30 - 2:30 lunch
2:30 - 3:30
TARK Session
New Issues
Understanding Human Strategies for Change: An Empirical Study
Mary-Anne Williams, Alankar Karol (University of Technology, Sydney)
Decisions Under Subjective Information
Jack Stecher (University of Minnesota)
3:30 - 4:00 break
4:00 - 5:00
TARK Session
Mechanism Design
Exponential Communication Inefficiency of Demand Queries
Noam Nisan (Hebrew University), Ilya Segal (Stanford University)
The Communication Cost of Selfishness: Ex Post Implementation
Ronald Fadel, Ilya Segal (Stanford University)
5:00 - 6:00 TARK Business meeting
7:30 - 10:00 TARK Conference Dinner
Orchard Hotel, The Rosewood Room, Level 2
442 Orchard Road
(at the beginning of the Orchard Road,
opposite Orchard Parade Hotel)
Sunday, 12 June
---------------
9:00 - 10:00
TARK Invited Talk:
Isaac Levi (Columbia University, New York)
Inductive Inference as Ampliative and Non Monotonic Inference
10:00 - 11:00 TARK Session
Social Choice/ Preferences
Aggregating partially ordered preferences:
impossibility and possibility results
Maria Silvia Pini, Francesca Rossi,
Kristen Brent Venable (University of Padova),
Toby Walsh (NICTA and UNSW, Sydney)
Unconditional Privacy in Social Choice
Felix Brandt (Stanford University),
Tuomas Sandholm (Carnegie Mellon University)
11:00 - 11:30 break
11:30 - 12:30 TARK Session
Logic of Knowledge in Distributed Computing
Deciding knowledge properties of security protocols
R. Ramanujam (IMSC), S.P. Suresh (Chennai Math Institute)
Continuous Consensus via Common KnowledgeT
al Mizrahi, Yoram Moses (Technion, Haifa)
12:30 - 2:00 lunch
2:00 - 3:30 TARK Session
Dynamics of Knowledge/ Logic of knowledge
Update Logics And Reduction Axioms
Johan van Benthem (University of Amsterdam and Stanford University),
Jan van Eijck (CWI),
Barteld Kooi (University of Groningen)
First-Order Classical Modal Logic
Horacio Arlo-Costa (Carnegie Mellon University),
Eric Pacuit (CUNY, New York)
On Epistemic Logic with Justifications
Sergei Artemov, Elena Nogina (City University of New York)
4:00 - 5:00 Rump Session (subject to interest)
Monday, 13 June
---------------
Tutorial on Computational mechanism design and auctions
David Parkes (Harvard)
9:00 - 10:15 Tutorial Session 1
10:15 - 10:45 break
10:45 - 12:00 Tutorial Session 2
12:00 - 2:30 Lunch
2:30 - 3:45 Tutorial Session 3
3:45 - 4:15 break
4:15 - 5:30 Tutorial Session 4