ron van der meyden tbpnpxcseunsweduau apologies multiple copies ninth international conference deontic logic computer science deon08 luxembourg 1518 july 2008 call papers biennial deon conferences designed promote interdisciplinary cooperation amongst scholars interested linking formallogical study normative concepts normative systems computer science artificial intelligence philosophy organisation theory law addition general themes deon2008 encourage special focus topic security trust eight previous deon conferences amsterdam december 1991 oslo january 1994 sesimbra january 1996 bologna january 1998 toulouse january 2000 london may 2002 madeira may 2004 utrecht july 2006 selected papers conferences published internationally general themes program committee invites papers concerned following topics logical study normative reasoning including formal systems deontic logic defeasible normative reasoning logic action related areas logic formal analysis normative concepts normative systems formal representation legal knowledge formal specification aspects normgoverned multiagent systems autonomous agents including limited representation rights authorisation delegation power responsibility liability formal specification normative systems management bureaucratic processes public private administration applications normative logic specification database integrity constraints normative aspects protocols communication negotiation multiagent decision making specific security trust themes deon2008 special focus logical approaches deontic notions computer science security trust encompassing applications ecommerce well traditional areas computer security topics interest special theme include limited digital rights management electronic contracts including service level agreements digital media licenses authorization access control security policies privacy policies business processes regulatory compliance welcome theoretical work formal models representations specifications logics verification implementationoriented work architectures programming languages design models simulations prototype systems specific topics submission details authors invited submit original previously unpublished research paper pertaining topics paper english longer 15 pages approximately 7500 words first page contain full name contact information least one authors contain abstract ten lines authors submit papers electronically either pdf ps format authors consult instructions website submitting papers electronically anyone unable send paper electronically wishes submit hard copies inquire details one program cochairs addresses given authors especially encouraged use springer lncs styles possible available httpwwwspringerdecomplncsauthorshtml deadline submission 11 january 2008 timetable 11 january 2008 submission deadline 22 february 2008 notification acceptance 21 march 2008 deadline final cameraready versions 15 july 2008 normas 2008 workshop 1618 july 2008 deon08 conference publication copies workshop proceedings provided participants proceedings published springer lncslnai series addition revised versions selected papers workshop published special issue journal applied logic elsevier invited speakers announced general program cochairs ron van der meyden school computer science engineering university new south wales sydney nsw 2052 australia tbpnpxcseunsweduau tel 61 2 8306 0460 fax 61 2 8306 0405 leon van der torre individual collective reasoning computer science communication university luxembourg 6 rue richard coudenhovekalergi l1953 luxembourg ybtskrzcauoxxyvunilu tel 3524666445261 fax 3524666445500 organizing committee cochairs martin caminada individual collective reasoning computer science communication university luxembourg ihpuzoxyykcsbgunilu tel 3524666445485 fax 3524666445500 gabriella pigozzi individual collective reasoning computer science communication university luxembourg cmtnrlvimvwirzquunilu tel 3524666445442 fax 3524666445500 program committee paul bartha university british columbia david basin eth zã¼rich guido boella university torino jan broersen universiteit utrecht mark brown syracuse university josã carmo university madeira frãdãric cuppens enstbretagne rennes robert demolombe irit toulouse frank dignum universiteit utrecht lou goble willamette university joerg hansen university leipzig bachhaus risto hilpinen university miami john horty university maryland andrew jones kings college london ninghui li purdue university lars lindahl university lund alessio lomuscio imperial college london heiko ludwig watson research center ibm paul mcnamara university new hampshire johnjules meyer universiteit utrecht ron van der meyden university new south wales john mitchell stanford university rohit parikh city university new york adrian paschke technical university dresden henry prakken universiteit utrecht university groningen babak sadighi firozabadi swedish institute computer sciencestockholm filipe santos iscte portugal giovanni sartor university bologna marek sergot imperial college london carles sierra iiiacsic yaohua tan vrije universiteit amsterdam leon van der torre university luxembourg cochair vicky weissman cornell university information see deon08 website fri 08 aug 2008 190658 1100 uai call papers deontic logic computer science deon 2008