DEON'02 - Programme

	Wednesday 22nd May
9.30	Invited Speaker Models of Dispute Resolution: a Formal Framework and an Application Henry Prakken
10.30	Morning Coffee
11.00	Joerg Hansen. Problems and results for logics about imperatives. Guido Governatori and Antonino Rotolo. A Gentzen system for reasoning with contrary to duty obligations: a preliminary study.
12.30	Lunch
2.00	Alan Abrahams and Jean Bacon. The life and times of identified, situated, and conflicting norms. Peter Vranas. New foundations for deontic logic: a preliminary sketch.
3.30	Afternoon Coffee
4.00 to 5.30	Mark A. Brown. Rich deontic logic: a preliminary study. Robert Demolombe. From belief change to obligation change in the situation calculus: a preliminary study.

	Thursday 23rd May
9.30	Invited Speaker New Opportunities in the Formalization of Practical Reasoning Richmond Thomason
10.30	Morning Coffee
11.00	Rohit Parikh. Towards a theory of social software. Alessio Lomuscio and Marek Sergot Violation, error recovery, and enforcement in the bit transmission problem.
12.30	Lunch
2.00	Invited Speaker What You Should Probably Know About Deontic Specifications in a Distributed Setting Ron van der Meyden
3.00	Afternoon Coffee
3.30 to 5.00	Jan Broersen. A new action base for dynamic deontic logics. Filipe Santos. A modal logic framework for organization analysis and design.
	Workshop dinner

	Friday 24th May
9.30	Invited Speaker Semantics for more plausible deontic logics Sven Ove Hansson
10.30	Morning Coffee
11.00	David Makinson and Leendert van der Torre. Permission from an input/output perspective. Lars Lindahl and Jan Odelstad. Normative positions within an algebraic approach to normative systems.
12.30	Lunch
2.00	Paul McNamara. A preliminary exploration of agential obligation as non-agential personal obligation plus agency. Steven O. Kimbrough. A note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content.
3.30	Afternoon Coffee
4.00 to 5.30	Lennart Aqvist. Conditionality and branching time in deontic logic Laurence Cholvy and Christophe Garion. Collective obligations, commitments, and individual obligations: a preliminary study.