Logic List Mailing Archive

Final CfP DEON 2014

12-15 Jul 2014
Gent, Belgium

CALL FOR PAPERS - DEON 2014
12th International Conference on Deontic logic and Normative Systems
12-15 July 2014, Ghent, Belgium
http://www.deon2014.ugent.be
[co-located with TiL 2014]

Abstract Submission Deadline: March 1, 2014
Paper Submission Deadline: March 8, 2014

The biennial DEON conferences are designed to promote
interdisciplinary cooperation amongst scholars interested in linking
the formal-logical study of normative concepts and normative systems
with computer science, artificial intelligence, philosophy,
organization theory and law.

In addition to these general themes, DEON 2014 will encourage a
special focus on the topic:

    	       	 Deontic modalities in natural language

There have been eleven 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, Luxembourg, July 2008, Fiesole July 2010, Bergen,
July 2012.


This DEON will be colocated with the 2014 edition of TiL (Trends in
Logic), 8 July - 11 July, same venue:

http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html

------------
General Themes
------------

The Program Committee invites papers concerned with the following topics:

? the logical study of normative reasoning, including formal systems
   of deontic logic, defeasible normative reasoning, logics of action,
   logics of time, and other related areas of logic
? the formal analysis of normative concepts and normative systems
  ? the formal specification of aspects of norm-governed multi-agent
  systems and autonomous agents, including (but not limited to) the
  representation of rights, authorization, delegation, power,
  responsibility and liability
? the normative aspects of protocols for communication, negotiation
  and multi-agent decision making
? the formal representation of legal knowledge
? 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 database
integrity constraints


-----------
Special Theme
-----------

DEON 2014?s special focus is ?Deontic modalities in natural
language?. Deontic or normative modality is a subject of common
interest for researchers in several fields, including moral
philosophy, meta-ethics, linguistic semantics, and deontic logic.

Over the past, the deontic modalities have been extensively studied on
the logic side. Comparatively, much less attention has been paid to
them from a natural language perspective, at least in DEON.

There has been a growing interest from linguists in the study of the
deontic modalities, mostly in the US, under the influence of Angelika
Kratzer?s work. A Deontic Modality Workshop was held in Los Angeles on
May 20-22, 2013.

We encourage submission of papers describing problems from a natural
language perspective that can be a challenge for deontic logic.

Topics of interest in this special theme include, but are not limited to:

? Challenges from natural language for deontic logic
? Relationship between deontic and other types of modality: epistemic
   modality, imperatives, supererogatory, etc
? New insights on the deontic paradoxes
? Modeling values
? Game theoretic aspects of deontic reasoning
? Emergence of norms
? Norms from a conversational point of view
? Norms and argumentation

We welcome theoretical work (formal models, representations, logics,
specifications, verification), implementation-oriented work
(programming languages, design models, simulations, prototype systems)
and empirically driven work (linguistics) on these specific topics.

Invited Speakers
-------------

Sven Ove Hansson (Royal Institute of Technology, Stockholm)
Magdalena Kaufmann (University of Connecticut)
Paul McNamara (University of New Hampshire)
Krister Segerberg (Uppsala University)
Bryan Skyrms (University of California, Irvine)


Submission Details
---------------

Authors are invited to submit an original, previously unpublished,
research paper pertaining to any of these topics. The paper should be
in English, and should be no longer than 15 pages when formatted
according the LNCS specifications. The first page should contain the
full name and contact information for at least one of the authors, and
it should contain an abstract of no more than ten lines. Authors
should submit their papers electronically using easychair:

https://www.easychair.org/conferences/?conf=deon2014

Each submitted paper will be carefully peer-reviewed by a panel of PC
member based on originality, significance, technical soundness, and
clarity of exposition and relevance for the conference.

For each accepted paper, at least one author is required to register
for the conference and should plan to present the paper.

Publication
---------

Copies of the workshop proceedings will be provided to all
participants. The proceedings will be published with Springer in their
LNCS/LNAI series. During the conference, Springer will also provide
temporary free access to the online version of the proceedings on
SpringerLink.

In addition, we anticipate that revised versions of selected papers
from the workshop will subsequently be published in a special issue of
the deontic corner of the Journal of Logic and Computation.

Important Dates
-------------
Abstract Submission Deadline: March 1, 2014
Paper Submission Deadline: March 8, 2014
Notification: April 22, 2014
Camera Ready: May 1, 2014

Program Chairs
------------
Fabrizio Cariani, Northwestern University
Davide Grossi, University of Liverpool
Joke Meheus, Ghent University
Xavier Parent, University of Luxembourg & University of Aix-Marseille, Ceperc

Chairs of the Local Organizing Committee
---------------------------------
Christian Straer (Ghent University)
Erik Weber (Ghent University)

Congress Committee
-----------------
Jean Paul Van Bendegem (Free University Brussels)
Fabrizio Cariani (Northwestern University)
Davide Grossi (University of Liverpool)
John Horty (University of Maryland)
Bart Van Kerkhove (University Hasselt)
Joke Meheus (Ghent University)
Erik Myin (University of Antwerpen)
Xavier Parent (University of Luxembourg)
Frederik Van De Putte (Ghent University)
Christian Strasser (Ghent University)
Leon Van Der Torre (University of Luxembourg)
Roger Vergauwen (Catholic University Leuven)
Erik Weber (Ghent University)

Program Committee
????????
Maria Aloni (University of Amsterdam)
Guillaume Aucher (University of Rennes 1 / INRIA)
Mathieu Beirlaen (Universidad Nacional Autnoma de Mxico)
Guido Boella (University of Torino)
Jan Broersen (Utrecht University)
Mark A. Brown (Syracuse University)
Fabrizio Cariani (Northwestern University)
Jose Carmo (University Madeira)
Roberto Ciuni (Ruhr-Universitt Bochum, Humboldt Foundation)
Robert Demolombe (IRIT, CNRS, Toulouse)
Lou Goble (Willamette University)
Guido Governatori (NICTA)
Nobert Gratzl (Ludwig Maximilian University Munich)
Davide Grossi (University of Liverpool)
Jrg Hansen (University of Leipzig)
Andreas Herzig (IRIT, CNRS, Toulouse)
Jeff Horty (University of Maryland)
Andrew Jones (King's College London)
Stefan Kaufmann (University of Connecticut)
Gert-Jan Lokhorst (Delft University of Technology)
Emiliano Lorini (IRIT, CNRS, Toulouse)
Joke Meheus (Ghent University)
John-Jules Meyer (Utrecht University)
Eric Pacuit (University of Maryland)
Xavier Parent (University of Luxembourg)
Henry Prakken (University of Utrecht, University of Groningen)
Antonino Rotolo (University of Bologna)
Olivier Roy (University of Bayreuth)
Giovanno Sartor (EUI/CIRSFID)
Ken Satoh (National Institute of Informatics and Sokendai, Japan)
Marek Sergot (Imperial College, London)
William Starr (Cornell University)
Audun Stolpe (Norwegian Defence Research Establishment (FFI))
Christian Straer (Ghent University)
Allard Tamminga (University of Groningen)
Paolo Turrini (Imperial College, London)
Ron Van Der Meyden (University of New South Wales, Sydney, UNSW)
Leon van der Torre (University of Luxembourg)
Malte Willer (University of Chicago)
Tomoyuki Yamada (Hokkaido University)

Local Organizing Committee
????????????
Inge De Bal
Tjerk Gauderis
Merel Levefere
Julie Mennes
Frederik Van De Putte
Christian Strasser
Erik Weber
Dietlinde Wouters

Messages to the list are archived at http://listserv.liv.ac.uk/archives/philos-l.html.

Current posts are also available via Facebook: https://www.facebook.com/PhilosL

To sign off the list send a blank message to philos-l-unsubscribe-request@liverpool.ac.uk.

Discussions should be moved to chora: enrol via
http://listserv.liv.ac.uk/archives/chora.html.