Call for Papers: DEON 2012

A call for papers — with abstract submission deadline of 27 February 2012 and full paper submission deadline of 5 March 2012 — has been issued for DEON 2012: The 11th International Conference on Deontic Logic in Computer Science, to be held 16-18 June 2012, at the University of Bergen, in Bergen, Norway.

Papers are invited on general topics, and on the “special theme” of “Deontic Logic and Social Choice.” The general topics are:

• 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;
• 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.

The special theme topics are:

• Normative system selection and optimization
• Merging and aggregation of norms
• Compliance and enforcement strategies for norms
• Game theoretic aspects of deontic reasoning
• Norms, culture and and shared values
• Violation detection and norm creation mechanisms
• Simulation of dynamics in normative systems
• Emergence of norms
• Norm change

For more information, please see the call for papers.

HT IAAIL.

Call for Papers: SPLeT 2012: Workshop on Semantic Processing of Legal Texts

[NOTE: This post has been updated to reflect the extended deadline of 19 February 2012. HT Simonetta Montemagni.]

A call for papers — with extended submission deadline of 19 February 2012 — has been issued for SPLeT 2012: Workshop on Semantic Processing of Legal Texts, to be held 27 May 2012 in Istanbul, Turkey.

SPLeT 2012 is being held in conjunction with LREC 2012: The Language Resources and Evaluation Conference.

Papers for SPLeT 2012 are invited on the following topics:

• Construction, extension, merging, customization of legal language resources, e.g. terminologies, ontologies
• Information retrieval and extraction from legal texts
• Semantic annotation of legal textual corpora
• Legal text processing
• Machine learning of legal texts
• Multilingual aspects of legal text semantic processing
• Legal thesauri mapping
• Automatic Classification of legal documents
• Logical analysis of legal language
• Automated parsing and translation of natural language arguments into a logical formalism
• Linguistically-oriented XML mark up of legal arguments
• Dialogue protocols for argumentation
• Legal argument ontology
• Computational theories of argumentation that are suitable to natural language
• Controlled language systems for law

For more information, please see the call for papers.

HT Dr. Adam Wyner.

Call for Papers: Special issue of Journal of Logic and Computation: on Deontic Logic and Normative Systems

A call for papers, with submission deadline of 1 September 2011, has been issued for a special issue of Journal of Logic and Computation, on the topic: Deontic Logic and Normative Systems.

HT Professor Leon van der Torre.

Dung & Sartor on A Logical Model of Private International Law

Dr. Phan Minh Dung of The Asian Institute of Technology Computer Science and Information Management Program, and Professor Dr. Giovanni Sartor of Università di Bologna, Centro Interdipartimentale de Ricerca in Storia del Diritto e Informatica Giuridica (CIRSFID), have published A Logical Model of Private International Law, in DEON 2010: Proceedings of the 10th International Conference on Deontic Logic in Computer Science, 7-9 July 2010, Fiesole, Italy 229-246 (Guido Governatori & Giovanni Sartor eds., 2010). Here is the abstract:

We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they should apply to this purpose (choice of law). A formal model of the resulting interaction among multiple legal systems is proposed based on modular argumentation. It is argued that this model may be useful for understanding this rather esoteric, but increasingly important, domain of the law. Moreover, it might be useful for modelling the way in which interactions between heterogeneous agents, belonging to different and differently regulated virtual societies, can be governed without recourse to a central regulatory agency.

DEON 2010 Proceedings Available

Proceedings are available for DEON 2010: The 10th International Conference on Deontic Logic in Computer Science, held 7-9 July 2010 in Fiesole, Florence, Italy.

The proceedings were edited by Giovanni Sartor and Guido Governatori.

Abstracts of the law-related papers presented at the conference will be posted here shortly.

Click here for the conference Website.

Aucher, Boella, & van der Torre on Privacy Regulations in Dynamic Epistemic Deontic Logic

Dr. Guillaume Aucher of the University of Luxembourg Faculty of Sciences, Technology and Communication, Professor Guido Boella of Università degli Studi di Torino Dipartimento di Informatica , and Professor Dr. Leon van der Torre of the University of Luxembourg Faculty of Sciences, Technology and Communication, presented Privacy Regulations in Dynamic Epistemic Deontic Logic, at NMR 2010: The 13th International Workshop on Non-Monotonic Reasoning, held 14-16 May 2010, at Sutton Place, Toronto, Canada.

Click here to access a zip file containing the full text of the paper.

Here is the abstract of the paper:

Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defined in terms of permitted and obligatory knowledge. With this new approach, we do not have to specify the permissions and prohibitions of all message combinations explicitly. To specify and reason about such privacy policies, we extend a multi-modal logic introduced by Cuppens and Demolombe [see here and here] with update operators modeling the dynamics of both knowledge and privacy policies. We show also how to determine the obligatory messages, how to express epistemic norms, and how to check whether a situation is compliant with respect to a privacy policy.

Call for Papers: GandALF 2010: International Symposium on Games, Automata, Logics, & Formal Verification

A call for papers, with abstract submission deadline of 21 March 2010 and paper submission deadline of 28 March 2010, has been issued for GandALF 2010: The First International Symposium on Games, Automata, Logics, and Formal Verification, to be held 17-18 June 2010 in Minori, Italy.

Papers are invited on the following topics:

• “Automata Theory
• Automated Deduction
• Logical aspects of Computational Complexity
• Concurrency and Distributed computation
• Decision Procedures
• Deductive, Compositional, and Abstraction Techniques for Verification
• Finite Model Theory
• First-order and Higher-order Logics
• Formal Languages
• Formal Methods for Complex Systems (Interactive Systems, Systems Biology,…)
• Games and Automata for Verification
• Game Semantics
• Game Theory
• Hybrid, Embedded, and Mobile Systems Verification
• Logics of Programs
• Modal and Temporal Logics
• Model Checking
• Models of Reactive and Real-Time Systems
• Program Analysis and Software Verification
• Specification and Verification of Finite and Infinite-state Systems
• Synthesis and Execution”

For more information, please see the call for papers.

HT Dario Della Monica.

Call for Papers: NonMon@30: Thirty Years of Nonmonotonic Reasoning

A call for papers, with submission deadline of 11 July 2010, has been issued for NonMon@30: Thirty Years of Nonmonotonic Reasoning, a conference to be held 22-25 October 2010, in Lexington, Kentucky, USA.

The call for papers states: “We invite papers in all areas of nonmonotonic reasoning, and especially encourage submissions underlying the role of nonmonotonic reasoning in artificial intelligence and knowledge representation.”

Noted legal informatics scholar Professor Henry Prakken is a member of the program committee.

For more information, please see the call for papers.

HT Frederick Koriche.

Call for Papers: SPLeT 2010: Workshop on Semantic Processing of Legal Texts

[NOTE: Updated on 9 February 2010 to note that the submission deadline has been extended to 17 February 2010 (HT Dr. Simonetta Montemagni).]

A call for papers, with extended submission deadline of 17 February 2010 10 February 2010, has been issued for SPLeT 2010: The 3rd Workshop on Semantic Processing of Legal Texts, to be held 23 May 2010 in Malta. A PDF version of the call for papers is also available.

The workshop is part of LREC 2010: The 7th International Conference on Language Resources and Evaluation.

Papers are invited on the following topics:

• “Building legal resources: terminologies, ontologies, corpora
• Ontologies of legal texts, including subareas such as ontology acquisition, ontology customisation, ontology merging, ontology extension, ontology evolution, lexical information, etc.
• Information retrieval and extraction from legal texts
• Semantic annotation of legal texts
• Legal text processing
• Multilingual aspects of legal text semantic processing
• Legal thesauri mapping
• Automatic Classification of legal documents
• Logical analysis of legal language
• Automated parsing and translation of natural language arguments into a logical formalism
• Linguistically-oriented XML mark up of legal arguments
• Dialogue protocols for argumentation
• Legal argument ontology
• Computational theories of argumentation that are suitable to natural language
• Controlled language systems for law.”

For more information, please see the call for papers.

HT Dr. Simonetta Montemagni and Dr. Adam Wyner.

Calls for Papers: IMCIC, ISAS, KGCM, CCCT, ICETI, & ICSIT 2010

Calls for papers, all having a submission deadline of 20 January 2010, have been issued for the following conferences:

• IMCIC 2010: The International Multi-Conference on Complexity, Informatics and Cybernetics;
• ISAS 2010: The 16th International Conference on Information Systems Analysis and Synthesis;
• KGCM Spring 2010: The SPRING 4th International Conference on Knowledge Generation, Communication and Management;
• CCCT 2010: The 8th International Conference on Computing, Communications and Control Technologies;
• ICETI 2010: The International Conference on Education, Training and Informatics;
• ICSIT 2010: The International Conference on Society and Information Technologies.

The conferences are being held concurrently on 6-9 April 2010, in Orlando, Florida, USA, and appear to have the same deadlines. Please check each conference Website to verify submission deadlines and other important dates. All of the conference Websites are also linked from this Eventseer post.

Papers are invited on topics that include:

• legal information retrieval;
• legal multiagent systems;
• legal knowledge representation;
• legal ontologies;
• Semantic Web and law;
• the modeling of legal reasoning;
• the modeling of legal logic, including nonmonotonic reasoning and deontic logic;
• legal argumentation systems;
• eCommerce;
• Web 2.0 and law;
• law and virtual worlds;
• robotics and law; and
• legal instructional technology.

Please check the calls for papers, all of which are linked from the conference Websites listed above, for additional topics.

For more information, please see the calls for papers, all of which are linked from the conference Websites listed above.

HT Eventseer.