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 |
|