First International Workshop on Deontic Logic in Computer Science

(DEON '91)

Amsterdam, The Netherlands, 11-13 December, 1991


Organizing committee

R.J. Wieringa              (Vrije Universiteit Amsterdam)
J.J.-Ch. Meyer             (Vrije Universiteit Amsterdam)
A. Soeteman                (Vrije Universiteit Amsterdam)

Program Committee

J.J.-Ch. Meyer             (Vrije Universiteit Amsterdam, 
                           Chair)  
L. Aqvist                  (Uppsala University)
P. van Emde Boas           (University of Amsterdam)
P.B. Brouwer               (Leiden University)
J. Fiadeiro                (INESC, Lisbon)
J.C. Hage                  (Limburg University)
R. Hilpinen                (Turku University, Helsinki)
R.M. Lee                   (University of Texas at Austin)
N.H. Minsky                (Rutgers University, New Brunswick)
M. Sadler                  (Hewlettt-Pacard, Bristol)
A. Soeteman                (Vrije Universiteit Amsterdam) 
R.J. Wieringa              (Vrije Universiteit Amsterdam) 
A.H. de Wild               (Tilburg University)

Invited speakers

C.E. Alchourron            (University of Buenos Aires)
R. Hilpinen                (Turku University, Helsinki)
T.S.E. Maibaum             (Imperial College London)

DEON'91 publications

Two collections of revised versions of accepted papers have appeared:


Proceedings of DEON'91


Book: Deontic Logic in Computer Science. Normative System Specification

(eds. J.J.-Ch. Meyer and R.J. Wieringa). Chichester, John Wiley & Sons, 1993. ISBN 0 471 93743 6

Table of contents


Back to the DEON'98 Homepage