| June 30(Friday) |
9:10-9:20 Opening of the conference
| 9:20 - 10:00 |
|
Backward induction in general belief structures with and without strategies |
| 10:00 - 10:40 |
(with Giovanni Maggi) |
Imperfect contracting |
coffee break
| 11:10 - 12:00 |
|
Learning to play by evaluation |
| 12:00 - 12:40 | Adam Brandenburger
(with Jerome Keisler) |
Epistemic conditions for iterated dominance |
lunch
| 2:10 - 2:50 | Hans van Ditmarsch | Dynamic knowledge logic and knowledge games |
| 2:50 - 3:40 |
|
A computer scientist looks at game theory |
coffee break
| 4:10 - 4:50 |
|
A modal interpretation of Nash equilibria and some related concepts |
| 4:50 - 5:30 |
(with Rineke Verbrugge) |
A knolwedge-based algorithm for the internet protocol TCP |
Welcome dinner: ristorante Gufo Bianco,
corso Dante 129c (Te. 011-6692577), 8:30 pm
| July 1 (Saturday) |
| 9:20 - 10:10 | Wiebe van der Hoek
(with J. Jaspars and E. Thijsse) |
A general perspective on only knowing |
| 10:10-11:00 | Rachel McCloy
(with Ruth Byrne) |
Mental models and human deductive reasoning |
coffee break
| 11:30 - 12:20 | Johan van Benthem | Ways of playing games: an analysis in dynamic-epistemic logic |
| 12:20 - 1:00 | Marc Pauly | A logical framework for coalitional effectivity in dynamic procedures |
lunch | 2:30 - 3:20 | Itzhak Gilboa | Cognitive foundations of inductive inference and probability |
| 3:20 - 4:00 | Annette Bleeker
(with Jan van Eijck) |
Epistemic action and change |
coffee break
| 4:30 - 5:10 | Mario Gilli | Rational learning in imperfect monitoring games |
Dinner
at ristorante La Pace,
via Galliari 22 (Tel. 011-6505325), 8:30 pm
| July 2 (Sunday) |
| 9:20 - 10:10 | Philip Dawid | Prequential analysis: a game-theoretic approach to probability and statistics |
| 10:10 - 10:50 | Martin Meier | An infinitary probability logic for type spaces |
coffee break
| 11:20 - 12:00 | Klaus Nehring | Bayesian belief dynamics with imperfect memory |
| 12:00 - 12:50 | Giacomo Bonanno | Beliefs based on information |
lunch
| 2:20 - 3:00 | Alexandru Baltag | A logic for suspicious players: epistemic actions and belief-update in games |
| 3:00 - 3:50 | Samson Abramsky | Game Semantics: a compositional analysis of systems of interacting agents |
coffee break
dinner