From jvp@doc.ic.ac.uk Mon Nov 1 14:27:56 EST 1993 Article: 4940 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:4940 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: jvp@doc.ic.ac.uk (Jeremy Pitt,573H,5069,) Subject: 2nd International Workshop on DEONTIC Logic in Computer Science (D E O N - 94) ANNOUNCEMENT & PROGRAMME Message-ID: <1993Oct30.031114.6855@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Department of Computing, Imperial College, University of London, Date: Sat, 30 Oct 1993 03:11:14 GMT Approved: rick@sparky.sterling.com Expires: Sun, 9 Jan 1994 08:00:00 GMT Lines: 143 X-Md4-Signature: cf5c4bc5407ae0047365d789e56d4f9f SECOND INTERNATIONAL WORKSHOP ON DEONTIC LOGIC IN COMPUTER SCIENCE: D E O N - 9 4 (OSLO, NORWAY, 6-8 JANUARY 1994) PROVISIONAL LIST OF SPEAKERS There will be four invited guest lecturers: Carlos Alchourron, David Makinson, J.-J. Ch. Meyer, and Lennart Aqvist. In addition, the Programme Committee has accepted the following papers for presentation at the Workshop: N.Asher & D.Bonevac, "Prima Facie Obligation" M.A.Brown, "A Logic of Comparative Obligation" J.Carmo & A.J.I.Jones, "Deontic Database Constraints and the Characterisation of Recovery" F.Cuppens, "Roles and Deontic Logic" F.Dignum, J.-J.Ch.Meyer & R.J.Wieringa, "Contextual Permission - A Solution to the Free Choice Paradox" O.Gasquet & A.Herzig, "Automated Deduction for Non-Normal Modal Logics" G.-J.C.Lokhorst, "Extensional Deontic Logics of Action and their Implementatio n" P.McNamara, "Doing Well Enough: Toward a Logic for Common Sense Morality" A.Merin, "From Civil Procedure to Deontic Modality" M.Morreau, "Prima facie and Seeming Duties" K.Ong & R.M.Lee, "Detecting Deontic Dilemmas in Bureaucratic Rules: A First-Order Implementation using Abduction" H.Prakken, "Two Approaches to Defeasible Deontic Reasoning" H.Prakken & M.J.Sergot, "Contrary-to-Duty Imperatives, Defeasibility and Violability" L.M.M.Royakkers, "Towards a Deontic Logic Approach to Law" The schedule of presentations, on each of the three days of the Workshop, will be structured in such a way as to leave ample time for discussion. The organisers of DEON-94 reserve the right to make changes to the above provisional programme. INFORMATION REGARDING ACCOMMODATION AND REGISTRATION The Soria Moria Centre is a modern, residential conference centre, situated on the north-west side of Oslo, overlooking the city. Single and double rooms (both with bathroom) are available. The prices given below include room for four nights (arrival: Wednesday 05 Jan.; departure Sunday 09 Jan.), dinner on the Wednesday evening (at 19.30 hrs.), breakfast, lunch and dinner on each of Thursday, Friday and Saturday, and breakfast on the Sunday morning. Accompanying persons pay the same rate. Single room NOK 3980 Shared (double) room NOK 2145 Non-residential rates are available for those who do not wish to live at Soria Moria, as follows: Lunch only (Thursday, Friday and Saturday) NOK 630 Lunch & Dinner (Thursday, Friday and Saturday) NOK 1560 Those attending the Workshop will be charged a registration fee to cover: a copy of the book containing conference proceedings, expenses of invited speakers, coffee breaks (two per day on each of the three days), and overheads (in particular, the hire of the conference room). The organisers have done their best to keep the fee as low as possible; should it happen (against all expectation !) that the Workshop makes a profit, this will be transferred to the next DEON, which is provisionally planned to be held in Modena, Italy, in December 1995. Registration fee: NOK 1000 (full-time students NOK 600), if received by us by Nov. 19, 1993 NOK 1500 (full-time students NOK 1000), after November 19, 1993 TO REGISTER AND TO RESERVE ACCOMMODATION, PLEASE USE THE FOLLOWING BOOKING FORM. THE MAXIMUM NUMBER OF PARTICIPANTS WILL BE 70. DEON-94 BOOKING FORM Please complete and return to: DEON-94, The Norwegian Research Centre for Computers and Law, Niels Juels gate 16, N-0272 OSLO, NORWAY FAX: + 47 22 44 77 48 TEL.: + 47 22 44 97 03 I wish to attend DEON-94 Name....................................................................... Position................................................................... Affiliation................................................................ Address.................................................................... Fax..................................................Tel................... E-mail address:................................................................... EITHER: Please reserve a room with full-board for me as follows (tick as appropriate): Single room ............................................................... Double room (state with whom you are sharing) ............................. I shall be accompanied by (give name) ..................................... OR (Non-residential option): Please book meals for me as follows (tick as appropriate): Lunch (Thurs, Fri, Sat) ....................................... Lunch & Dinner (Thurs, Fri, Sat) .............................. Please pay now for the total amount (registration fee plus full-board accommodation, or registration fee plus meals as indicated), by one of the following means (tick as appropriate): ..............by bank transfer (in Norwegian Kroner) to "Christiania Bank og Kreditkasse", account number 6030.05.39729, account name "IRISEM". .............my cheque in Norwegian Kroner for NOK ................is enclosed. Cheques should be made payable to "IRISEM". .............please charge my VISA card no ................................ the total amount of NOK ............................ Card expiry date ..................Signature ..............................