Dynamic Logic Montréal
Program
Click here for the time table in pdf format.
The complete schedule with abstracts is available here.

TUESDAY JUNE 19th

9.45 - 10.00 Welcome
10.00 - 12.30 Tutorial Dynamic Epistemic Logic
B. Kooi (Groningen)
12.30 - 13.30 Lunch
13.30 - 14.25 Realistic Models of Common Knowledge
P. Egré
(CNRS, Institut Jean-Nicod), joint work with Denis Bonnay
14.25 - 15.20

On the Logic of Attitudes
D. Vanderveken
(UQTR)

15.20 - 15.35 Pause
15.35 - 16.30

Deliberation and Updates of Plans
O. Roy (Amsterdam)

16.30 - 17.25 Coherent Deliberation and Decision-Making
M. Paquette (C. de Maisonneuve)
17.25 - 17.40 Pause
17.40 - 19.00 Double Time References in the Evaluation of Actions
J. Horty (Maryland)
 
WEDNESDAY JUNE 20th
10.00 - 12.30 Tutorial Dynamic Epistemic Logic
B. Kooi (Groningen)
12.30 - 13.30 Lunch
13.30 - 14.25 Converse Actions and Action Models
A. Herzig (LILaC, Toulouse) joint work with Guillaume Aucher
14.25 - 15.20 Epistemic Update: from Kripke to Algebra and Coalgebra
M. Sadrzadeh (Southampton)
15.20 - 15.35 Pause
15.35 - 16.30 Epistemic Updates in Justification Logics
B. Renne
(CUNY Graduate Center)
16.30 - 17.25 Logics of Knowledge and Action for Social Software
E. Pacuit (Amsterdam)
17.25 - 17.40 Pause
17.40 - 19.00

Knowledge and Structure in Social Algorithms
R. Parikh (Brooklyn College & CUNY Graduate Center)

 
THURSDAY JUNE 21th
10.00 - 12.30 Tutorial Dynamic Epistemic Logic
B. Kooi (Groningen)
12.30 - 13.30 Lunch
13.30 - 14.25 Product Update and Temporal Modalities
A. Yap (Victoria)
14.25 - 15.20 Private Revision in a Multi-Agent Setting
G. Aucher (LILaC, Toulouse)
15.20 - 15.35 Pause
15.35 - 16.30 Dynamic Logic meets Knowledge and Belief
A. Baltag (Oxford) and S. Smets (Brussels)
16.30 - 17.25 Two-Dimensional Belief Change
H. Rott (Regensburg)
17.25 - 17.40 Pause
17.40 - 19.00 Indeterminacy and Belief Change
H. Arló-Costa (Carnegie Mellon University)
Conference Dinner (time and place t.b.a)
 
FRIDAY JUNE 22nd
10.00 - 11.20 Dynamic Deontic Logic?
K. Segerberg (Uppsala)
11.20 - 12.15 Conditional Probabilities and the Dynamics of Belief Functions
F. Lepage (Université de Montréal)
12.15 - 13.45 Lunch
13.45 - 14.35 Residuating Obligations
R. Jennings and K. Sing Leung (Simon-Fraser University)
14.35 - 15.30 Ceteris Paribus Logic in Action
P. Girard (Stanford)
15.30 - 15.45 Pause
15.45 - 16.35 Spatial Reasoning
D. Sarenac (IHUM, Stanford)
16.35 - 16.40 Pause
16.40 - 18.00 Dynamic Logics of Model Change
J. van Benthem (Amsterdam & Stanford)