This Thursday 25th at 14:00 we will have our second extended Dynamic Logic Working Session. This time, three of us will present their current research interests.
- 14:00 – On the dynamics of inductive inference (Nina).
- 14:45 – Coffee break (this time with coffee!) + discussions.
- 15:00 – Complexity Notions for Board Games (Lena).
- 15:20 – Coffee break + discussions.
- 15:30 – Preference Logic and Cost-benefit Analysis (Lena).
- 15:50 – Coffee break + discussions.
- 16:00 – Asymmetric observation games (Stefan).
- 16:45 – Coffee + discussions.
- 17:00 – Complexity of Modal Logics for Cooperation and Preferences (Lena again!).
- 17:20 – Coffee + discussions.
The meeting will take place in room 3.27 of the P building (Euclides).