 |
| |
 |
|
(Tentative) program:
Monday December 4th (Roeterseiland Complex, UvA, Room A-108)
10.30 - 11.15
Keynote address: Krister Segerberg (Uppsala)
11.15 - 11.30 Questions and discussion
11.30 - 11.45 Coffee break
11.45 - 12.15 Brian Hill (IHPST)
Towards a "sophisticated" model of belief dynamics (Abstract)
12.15 - 12.40 Comments by Fenrong Liu (ILLC), questions and discussion
12.40 - 14.00 Lunch Break
14.00 - 14.30 Meghyn Bienvenu (IRIT)
Revision of Description Logic ABoxes (Abstract)
14.30 - 14.55 Comments by Patrick Girard (Stanford), questions and discussion
14.55 - 15.25 Guillaume Aucher (IRIT)
Private revision in a multi-agent setting (Abstract)
15.25 - 15.50 Comments by Yanjing Wang (CWI, Amsterdam), questions and discussion
15.50 - 16.05 Coffee break
16.05 - 16.35 Mikaël Cozic
(ENS Ulm) (Abstract)
Imaging and sleeping beauty: A case for double-halfers
16.35 - 17.00 Comments by Tijmen Daniels (UvA), questions and discussion
17.00 - 17.30 Paul Égré (CNRS)
Vagueness and Introspection (Extended Abstract)
17.30 - 17.55 Comments by Jonathan Zvesper (ILLC), questions and discussion
13.15 - 14.00 Keynote address: Hans van Ditmarsch (Otago)
Dynamic Epistemic Logic - old and new directions (Abstract, Slides)
14.00 - 14.15 Questions and discussion
14.15 - 14.30 Coffee Break
14.30 - 15.00 Cedric Paternotte
(IHPST)
Reasons and Beliefs Update in Cooperative Agency
15.00 - 15.25 Comments by Joel Uckelman (ILLC), questions and discussion
15.25 - 15.55 Ivan José Varzinczak (IRIT) (Abstract)
Metatheory of actions: beyond consistency
15.55 - 16.10 Comments by Rosja Mastop (Utrecht), questions and discussion
16.10 - 16.25 Coffee break
16.25 - 16.55 Tiago de Lima (IRIT)
From Toronto to Amsterdam (Abstract)
16.55 - 17.20 Comments by Barteld Kooi (RuG), questions and discussion
17.20 - 17.50 Nicolas Troquard
(IRIT)
Knowing how to play: Uniform choices in Logics of Agency (Abstract)
17.50 - 18.20 Comments by Eric Pacuit (Amsterdam), questions and discussion
|
|
