Friday, 19 November 1999
| Time |
Presentation |
|---|
| 9.00-10.00 |
Invited Lecture:
Semantics of Informational Independence
Gabriel Sandu (Abstract) |
| 10.00-10.40 |
Informational Independence
Theo Janssen (Abstract) |
| 10.40-11.10 | Coffee Break |
| 11.10-11.50 |
Dynamic Semantics Meets Game Theory
Paul Dekker (Abstract) |
| 11.50-12.30 |
Spaces to Play: Topo-games
Marco Aiello and Johan van Benthem (Abstract) |
| 12.30-14.30 | Lunch Break |
| 14.30-15.10 |
A Logic for Games
Alexandru Baltag (Abstract) |
| 15.10-15.50 |
Probability in Dynamic Epistemic Logic
Barteld Kooi (Abstract) |
| 15.50-16.20 | Coffee Break |
| 16.20-17.00 |
The Semantics of Actions in Knowledge Games
Hans van Ditmarsch (Abstract) |
| 17.00-17.40 |
On the Logical Foundations of Game Theory
Arnis Vilks (Abstract) |
|
Saturday, 20 November 1999
| Time |
Presentation |
|---|
| 9.00-10.00 |
Invited Lecture:
Economics and Language
Ariel Rubinstein (Abstract) |
| 10.00-10.40 |
Games as Acceptors
Peter van Emde Boas (Abstract) |
| 10.40-11.00 | Coffee Break |
| 11.00-11.40 |
The Game of Interrogation
Jeroen Groenendijk (Abstract) |
| 11.40-12.20 |
Values of Questions and Q-A Games
Robert van Rooy (Abstract) |
| 12.20-13.30 | Lunch Break |
| 13.30-14.10 |
Dialogue Games for Connexive Logic
Helge Rueckert (Abstract) |
| 14.10-14.50 |
Subgame Perfect Nash Equilibria in Dynamic Logic
Paul Harrenstein, Wiebe van der Hoek and John-Jules Meyer
(Abstract) |
| 14.50-15.30 |
Reasoning about the Power of Coalitions
Marc Pauly (Abstract) |
| 15.30-17.30 | Reception at the Academic Club
Concluding Remarks: Johan van Benthem |
|