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