Logic List Mailing Archive

2 conferences

SIXTH INTERNATIONAL WORKSHOP ON DEONTIC LOGIC IN COMPUTER SCIENCE (DEON'02)
   Call for Papers
   Imperial College, London, UK, January 16-18, 2002 
   http://www.doc.ic.ac.uk/deon02
 * Theme. The logical study of normative reasoning, including formal systems of 
   deontic logic, defeasible normative reasoning, the logic of action, and 
   other areas of logic related to normative reasoning. The formal analysis of
   normative concepts and normative systems. The formal representation of legal
   knowledge. The formal specification of aspects of norm-governed multi-agent 
   systems and autonomous agents. The formal specification of normative systems
   for the management of  bureaucratic processes in public or private
   administration. Applications of normative logic to the specification of
   databases and computer security protocols. Normative aspects of protocols
   for communication, negotiation and  multi-agent decision making. 
 * Submissions can be done electronically, by email to John Horty,
   horty@umiacs.umd.edu, and Andrew J.I. Jones, ajijones@dcs.kcl.ac.uk.
 * Submission deadline: September 1, 2001
 * Programme Committee.  John Horty (University of Maryland, co-chair), Andrew
   J.I. Jones (King's College, London, co-chair), Paul Bartha (University of
   British Columbia), Mark Brown (Syracuse University), Jose Carmo (University
   of Madeira), Laurence Cholvy (ONERA Toulouse), Frederic Cuppens (ONERA
   Toulouse), Robert Demolombe (ONERA Toulouse), Lou Goble (Willamette
   University), Risto Hilpinen (University of Maimi), Lars Lindahl (University
   of Lund), Paul McNamara (University of New Hampshire), David Makinson (UNESCO
   Paris), John-Jules Meyer (Utrecht University), Donald Nute (University of
   Georgia), Giovanni Sartor (University of Bologna), Krister Segerberg (Uppsala
   University), Marek Sergot (Imperial College, London), Leon van der Torre
   (Vrije Universiteit Amsterdam), Lennart Aqvist (Uppsala University).


 FOURTH INTERNATIONAL SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE 
 LANGUAGES (PADL'02)
   Call for Papers
   Portland, Oregon, USA
   Jan 19-20, 2002
 * PADL provides a forum for researchers, practitioners, and
   implementors of declarative languages to exchange ideas on current
   and novel application areas and on the requirements for effective
   deployment of declarative systems.  We invite papers dealing with
   practical applications of newly discovered results and techniques in
   logic, constraint, and functional programming.  Papers dealing with
   practical applications of theoretical results, new techniques of
   implementation with considerable impact on an application, or
   innovative applications are particularly welcome.  Position papers
   as well as papers that present works in progress are also welcome.
 * The scope of PADL includes, but is not limited to: Innovative
   applications of declarative languages, Declarative domain-specific
   languages and applications, New developments in declarative
   languages and their impact on applications o Practical experiences,
   Evaluation of implementation techniques on practical applications,
   Novel uses of declarative languages in the classroom
   The papers should highlight the practical contribution of the work 
   and  the relevance of  declarative languages  to achieve that end. 
 * Important Dates: 
   Paper Submission: Aug. 10, 2001
   Notification: Oct. 8, 2001 
   Camera Ready: Nov. 5, 2001 
   Symposium: Jan. 19-20, 2002
 * Program Committee (still being constituted): Sergio Antoy, Gopal
   Gupta, Joxan Jaffar, Fergus Henderson, Shriram Krishnamurthi
   (co-chair), Andrew Kennedy, Michael Leuschel, Kim Marriott, John
   Peterson, Andreas Podelski, Enrico Pontelli, C.R. Ramakrishnan
   (co-chair), John Reppy, Manuel Serrano, Olin Shivers, Paul Tarau