Tentative Schedule

Monday July 6, 2009

8:30 – 9:00: Registration
9:00 – 10:00: Invited talk
Adam Brandenburger (NYU)
Origins of Epistemics
10:00 - 10:30: Coffee Break
10:30 - 12:10: Morning Session
Daniel Lehmann
Foundations of non-commutative probability theory

Pierfrancesco La Mura
Projective Expected Utility - A Subjective Formulation

Joseph Halpern and Rafael Pass
A Logical Characterization of Iterated Admissibility

Amanda Friedenberg and Martin Meier
The Context of the Game
12:10 - 14:00: Lunch
14:00 - 15:00: Invited talk
John Searle (Berkeley)
Rationality and Social Ontology
15:00 - 15:30: Coffee Break
15:30 - 17:10: Afternoon Session
Michael Mandler
Rational agents are the quickest

Ivano Ciardelli and Floris Roelofsen
Generalized Inquisitive Logic: Completeness via Intuitionistic Kripke Models

Cédric Dégremont and Olivier Roy
Agreements Theorems in Dynamic Epistemic Logic

Alexandru Baltag and Sonja Smets
Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades
Evening get together/drinks

Tuesday July 7, 2009

9:00 – 10:00: Invited talk
Yoav Shoham (Stanford)
Considerations on the Logic of Intention
10:00 - 10:30: Coffee Break
10:30 - 12:10: Morning Session
Lance Fortnow
Program Equilibria and Discounted Computation Time

Moshe Tennenholtz and Andrey Klinger
K-SNCC: Group Deviations in Subsidized Non-Cooperative Computing

Sara Miner More and Pavel Naumov
On Interdependence of Secrets in Collaboration Networks

Yanjing Wang, Lakshmanan Kuppusamy and Jan van Eijck
Verifying Epistemic Protocols under Common Knowledge
12:10 - 14:00: Lunch
14:00 - 15:30: Poster Session/Coffee
Guillaume Aucher
BMS revisited

Christian W. Bach and Jeremie Cabessa
Limit Knowledge of Rationality

Ying-Ju Chen and Xiaojian Zhao
Contractual Traps

Stephen Chong and Ron van der Meyden
Deriving Epistemic Conclusions From Agent Architecture

Walter Dean and Hidenori Kurokawa
Knowledge, Proof and the Knower

Nikhil Devanur and Lance Fortnow
A Computational Theory of Awareness and Decision Making

Joseph Halpern, Rafael Pass and Vasumathi Raman
An Epistemic Characterization of Zero Knowledge

Nicolas Troquard, Wiebe van der Hoek and Michael Wooldridge
A logic of propositional control for truthful implementations
15:30 - 17:10: Afternoon Session
Edith Elkind, Piotr Faliszewski and Arkadii Slinko
On Distance Rationalizability of Some Voting Rules

Piotr Faliszewski, Edith Hemaspaandra , Lane A. Hemaspaandra and Joerg Rothe
The Shield that Never Was: Societies with Single-Peaked Preferences are More Open to Manipulation and Control

Bryan Renne
Evidence Elimination in Multi-Agent Justification Logic

Soumya Paul, R. Ramanujam and Sunil Easaw Simon
Dynamic restriction of choices: a preliminary logical report
17:30 - 18:15: Rump Session
19:30: Dinner + business meeting

Wednesday July 8, 2009

9:00 – 10:00: Invited talk (joint with EC)
Susan Athey (Harvard)
Designing Markets: Economics, Computer Science and the Real Worlds
10:00 - 10:30: Coffee Break
10:30 - 11:45: Morning Session
Joseph Y. Halpern and Leandro C. Rêgo
Reasoning About Knowledge of Unawareness Revisited

Spyros Galanis
Syntactic Foundations for Unawareness of Theorems

Krzysztof Apt, Andreas Witzel and Jonathan Zvesper
Common Knowledge in Interaction Structures
11:45 - 12:00: Short Break
12:00 - 12:50: Morning Session 2
Michael Trost
Solutions of Strategic Games under Common Belief of Sure-Thing Principle

Sergei Artemov and Roman Kuznets
Logical Omniscience as a Computational Complexity Problem
12:50-14:00: Lunch