TARK home page |School of Computing (NUS)|Institute for Mathematical Sciences (NUS)

TARK X conference is part of an 8-week program Uncertainty and Information in Economics, organized by the Institute for Mathematical Sciences (IMS), National University of Singapore in the period of 9 May - 3 July 2005. It will take place in conjunction with a workshop in the program, which is to be held on 6-10 June 2005.

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.

Conference Program

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