Location: Roskilde University, 44.2 (Building 44, 2nd floor).

8th of November

09:30 - 10:30 John F Horty, University of Maryland, USA
Reasoning with Prioritized Imperatives: Where are we?

10:30 – 10:45 Break

10:45 – 11:30 Barteld Kooi and Allard Tamminga, Utrecht, the Netherlands.
Moral Reasoning by Cases

11:30 – 12:15 Martin Mose Bentzen, RUC/ILLC, Denmark
Applying for Residence Permit in Denmark – A Logical Analysis of Legal texts and Legal Practice.

12:15 – 13:15 Lunch

13:15 – 14:15 Kai von Fintel, MIT, USA.
Deontic Logic and Natural Language Semantics

14:15 – 14:30 Break

14:30 - 15:15 Broersen et alt., Utrecht, the Netherlands
From Externalities to Norms

15:15 - 16:00 Sara Uckelman, ILLC., the Netherlands
Deontic Logic in the Lambeth Fragments of Anselm of Canterbury

18:30 Dinner.


9th of November

09:30 – 10:30 Frank Veltman, ILLC, the Netherlands
Who says so? Imperatives at the Semantics/Pragmatics Interface

10:30 – 10:45 Break

10:45 - 11:30 Rosja Mastop, Utrecht, the Netherlands
A semantics for giving Rights

11:30 – 12:15 Fabrice Nauze, ILLC, the Netherlands
Deontic Modality in Formal Semantics: Some Problems

12:15 – 13:15 Lunch

13:15 - 14:15 Eric Pacuit, Stanford, USA
Knowledge Based Obligation

14:15 - 14:30 Break

14:30 – 15:15 Sψren Frimodt Mψller, Syddansk Universitet, Denmark
How do Musicians Reach an Agreement? The ensemble as a Multi-Agent system

15:15 – 16:00 Olga Pacheco, Portugal
A neighbourhood Semantics for a Role-based Deontic and Agency Logic

16:00 – 16:15 Break

16:15 – 17:00 Vladimir Lobovikov, Russia
Algebra of Evaluative modalities as a New Trend in the Discrete Mathematical Modelling Semantic Foundations for Deontic Logic