9th de Morgan Workshop on Deontic Logic

Luxembourg, 30 Nov – 4 Dec, 2009

Program

Monday Nov 30

daytime Workshop on security (with authors from 2nd volume)
14:00 - 15:00 Ron van der Meyden. Using Architecture to Reason about Information Security.
15:30 - 16:30 G. Boella. Privacy and epistemic obligations.
16:30 - 17:30 G. Governatori. Rule, norms and compliance: Practical deontic logic.

Tuesday Dec 1: Deontic Problems (Chair: J. Horty)

10:00 - 11:00 R. Hilpinen and P. McNamara. Deontic logic: history, overview.
11:00 - 12:00 J. Hansen. Imperatives and the imperative tradition of deontic logic.
12:00 - 14:00 Lunch
14:00 - 15:00 D. Grossi and A.J.I. Jones. Constitutive norms and counts as conditionals.
15:00 - 15:30 Coffee break
15:30 - 17:30 Discussion on deontic problems (moderator: J. Horty).
This includes discussion of the chapters
  • Alternative semantics for deontic logic (by S. O. Hansson)
  • Prima facie norms, normative conflicts and dilemmas (by L. Goble)
  • Deontic logic and natural language (by K. van Fintel and T. Gillies)
  • Deontic logic and ethical theory: what are the issues? (by M. Schroeder)
  • Contrary to duty norms (by M. Sergot)
  • Doing Well Enough (by P. McNamara)

Wednesday Dec 2: Logics of Normative Systems (Chair: L. van der Torre)

10:00 - 11:00 J. Hansen. Imperatives
11:00 - 12:00 X. Parent and L. van der Torre. Input/output logic
12:00 - 14:00 Lunch
14:00 - 15:00 D. Gabbay. Reactive approaches.
15:00 - 15:30 Coffee break
15:30 - 16:30 L. Lindahl and J. Odelstad. Stratification of normative systems with intermediaries: the cis model.
16:30 - 17:30 Discussion on logics of normative systems (moderator: L. van der Torre)
This includes discussion of the chapters
  • Epistemic norms (by O. Loohuis and R. Parikh)
  • Permissive norms and positive permissions (S. Hansson)
  • Practical reasoning (by R. Thomason)
  • The theory of normative positions (by M. Sergot)

17:30 - 18:30 Discussion on the 2nd volume of the Handbook (moderator: R. von der Meyden)

Thursday Dec 3: Dynamics (Chair: R. van der Meyden)

10:00 - 11:00 B. Kooi and A. Tamminga. Deontic logic and game theory.
11:00 - 12:00 J. Broersen, J. Horty and J.-J. Ch. Meyer. Actions and deontic logic, including dynamic deontic logic and stit theory.
12:00 - 14:00 Lunch
14:00 - 15:00 G. Boella, G. Pigozzi and L. van der Torre. Normative system change.
15:00 - 15:30 Coffee break
15:30 - 16:30 Discussion on dynamics (moderator: R. von der Meyden).
This includes discussion of the chapters
  • Deontic logic and changing preferences in DEL style (by J. van Benthem and F. Liu)
  • Norm and time
17:30 - 18:30 Jeudi des Sciences P. McNamara. Could robots one day deserve rights?

Friday Dec 4: Relations (Chair: D. Gabbay)

10:00 - 11:00 G. Sartor, G. Governatori, and A. Rotolo. Deontic logic and legal reasoning
11:00 - 12:00 Planning of the handbook volumes (moderator: D. Gabbay)
12:00 - 15:00 Conference lunch at Bourlingster