Call for Papers: Jurix 2012

Posted on by admin
English: A bicyclist in Amsterdam, the Netherl...
A bicyclist in Amsterdam. (Photo credit: Massimo Catarinella)

The 25th International Conference on Legal Knowledge and Information Systems
University of Amsterdam,  The Netherlands, 17-19th December 2012

http://conference.jurix.nl/2012


Celebrating 25 years of supporting and enhancing cutting edge research in the interface between law and computer technology, the 2012   JURIX
conference  will return to its roots in  Amsterdam.  We invite submission of original papers on the advanced management of legal
information and knowledge, covering foundations, methods, tools, systems and applications for the following (non-exhaustive) list of topics:

  • Support for lawyers, in legal reasoning, document drafting, negotiation;
  • Support for the production and management of legislation, in agenda setting, policy analysis, drafting, workflow management, monitoring implementation;
  • Support for the judiciary, in application of the law, analysis of evidence, management of cases;
  • Support for police activities, in forensic inquiries, search and evaluation of evidence, management of investigations;
  • Support for public administration, in applying regulations and managing information;
  • Support for the acquisition, management or use of legal knowledge, using rules, cases, neural networks, intelligent agents or other methods;
  • Systems and methods to support policies and legal issues for social networks;
  • Retrieval of legal information;
  • Legal education;
  • Digital-rights management;
  • Alternative dispute resolution, particularly on-line;
  • Regulatory compliance and compliance of business processes;
  • Theoretical foundations for the use of Artificial Intelligence techniques in the legal domain;
  • Models of legal knowledge, including concepts (legal ontologies), rules, cases, principles, values and procedures;
  • Legal inference and argumentation;
  • Verification and validation of legal knowledge systems;
  • Management of legal information in the semantic web;
  • XML standards for legal documents, including legislative, judicial, administrative acts as well as private documents, such as contracts;
  • Modelling the legal interactions of autonomous agents and digital institutions;
  • Methods for managing organizational change when introducing legal knowledge systems;
  • Evaluation of systems using advanced informatics techniques in legal applications;
  • Interdisciplinary applications of legal informatics methods and systems.

The deadline for paper submission is 1 September  2012. Papers should be submitted through the EasyChair Conference Management System,

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

using PDF or Word format, and should not exceed 10 pages when formatted using the styles and guidelines in the Instructions for Authors. Author instructions and style sheets can be found at the IOS Press site under “Book Publishing” in the
“Authors’ Corner”. Authors are strongly encouraged to use these style sheets, as papers not meeting the publisher’s criteria or exceeding the page limit will be excluded from inclusion in the proceedings.
The conference proceedings will be published by IOS Press (Amsterdam, Berlin, Oxford, Tokyo, Washington DC) in their series “Frontiers in Artificial Intelligence and Applications” before the Conference Proposals for tutorials and workshops
are invited and strongly encouraged. All proposals, including a short description of the topic, should be sent to the Programme Chair by email. There will also be a possibility to publish selected workshop papers with a range of peer
reviewed journals, including SCRIPTed

using PDF or Word format, and should not exceed 10 pages when formatted using the styles and guidelines in the Instructions for Authors. Author instructions and style sheets can be found at the IOS Press site under “Book Publishing” in the “Authors’ Corner”. Authors are strongly encouraged to use these style sheets, as papers not meeting the publisher’s criteria or exceeding the page limit will be excluded from inclusion in the proceedings.

The conference proceedings will be published by IOS Press (Amsterdam, Berlin, Oxford, Tokyo, Washington DC) in their series “Frontiers in Artificial Intelligence and Applications” before the Conference.

Proposals for tutorials and workshops are invited and strongly encouraged. All proposals, including a short description of the topic, should be sent to the Programme Chair by email. There will also be a possibility to publish selected workshop papers with a range of peer reviewed journals, including SCRIPTed


Programme Chair:
Burkhard Schafer,
SCRIPT Centre for IT and IP Law
University of Edinburgh,  UK.
b.schafer@ed.ac.uk

Local Organisation Chair:
Tom van Engers, Leibniz Center for Law
Faculteit der Rechtsgeleerdheid/Faculty of Law
Universiteit van Amsterdam
vanEngers@uva.nl

Conference website:

http://conference.jurix.nl/2012/cfp.html

Important Dates:

  • EXTENDED Deadline for submissions of papers: 7. September 2012
  • Notification of acceptance: 30th September
  • Final, camera-ready copies required by: 5th October 2012
  • Deadline for proposals for workshops and tutorials: 15. September
  • Conference: main conference 17-18th  December, workshops 17th December

JURIX conferences are held under the auspices of the Dutch Foundation for Legal Knowledge Systems.

Contacts
You can contact us by sending an email to
Burkhard Schafer, B.schafer@ed.ac.uk

Enhanced by Zemanta
Facebooktwitterpinterestlinkedin

PhD position AI & Forensic Science – Utrecht University

Posted on by admin
(second call for applications)

PhD position Artificial Intelligence and Forensic Science (Utrecht
University; 1,0 fte)

Job description

This PhD position is part of the project "Designing and Understanding
Forensic Bayesian Networks with Arguments and Scenarios" that is funded
by the Netherlands Institute for Scientific Research in the Forensic
Science program (www.nwo.nl/forensicscience). The project is a
cooperation of the University of Groningen (Department of Artificial
Intelligence) and Utrecht University (Department of Information and
Computing Sciences) supported by partners from forensic legal practice.

In order to prevent miscarriages of justice such as the infamous Lucia
de Berk case, the communication between forensic statisticians, crime
investigators and lawyers about statistical evidence should be improved.
It is well-known that lawyers and other non-experts in statistics often
make serious mistakes when confronted with statistical evidence, while
there is ample evidence that lawyers tend to think in terms of arguments and scenarios.
Therefore the project aims to develop methods for supporting
argumentation- and narrative-based communication about statistical
evidence. Both the design and the understanding of models of evidence
will be investigated.

This study will be carried out in two subprojects, addressing,
respectively, argumentation and narrative techniques. Both subprojects take the statistical
formalism of Bayesian Networks as point of departure. In the subproject
performed at Utrecht University, argumentation techniques for the design
and understanding of models of evidence will be developed, based on
logical models of argumentation developed in Artificial Intelligence.

The project is the first that addresses the communicative gap between
forensic statisticians, crime investigators and lawyers, by combining
Bayesian Networks with Artificial Intelligence models of scenario
construction and argumentation.

On request, we can send you the full plan for the project. In that case,
and for other questions, please contact Prof.dr. Henry Prakken.

Requirements

A successful candidate has a Master's degree in Artificial Intelligence,
Computer Science, Mathematics, Philosophy, or a related field, and has
an interest in formal research in argumentation, narrative techniques
and Bayesian Networks, and their application in forensic contexts.

Conditions of employment

Utrecht University offers a salary of € 2,042 gross per month in the
first year up to a maximum of 2,612 gross per month in the final year.
The appointment is for a period of four years, which should be finished
with a PhD examination. The full time appointment is temporary for 1.5
years with the perspective of prolongation for another 2.5 years. After
the first year, there will be an evaluation of the feasibility of
successful completion of the PhD thesis within the next three years. You
and your supervisors will make up a plan for additional education and
supervising that is specific to your needs.

How to apply:

Send a cover letter (with professional goals and a statement of
interest), a curriculum vitae and two letters of recommendation (PDF
format) to the job application portal before March 17th, although
applications received after the deadline may be considered.

Starting date: as soon as possible.

Organisation

The PhD student will be based at Utrecht University (Faculty of Science,
Department of Information and Computing Sciences, Intelligent Systems
group). The group has a world-class reputation in the fields of
Intelligent Agents, Multi-Agent systems, Argumentation, AI & law, and
Bayesian Networks. Daily supervision will be performed by Dr. B. Verheij
(principal investigator), Prof.dr.mr. H. Prakken and Dr. S. Renooij.

Additional information

Prof. Dr. Henry Prakken

H.Prakken@uu.nl

Department of Information and Computing Sciences, Faculty of Science,
Utrecht University

More information about the project: www.ai.rug.nl/~verheij/nwofs

More information about employer Utrecht University on AcademicTransfer.

Direct link to this job opening:
http://www.academictransfer.com/employer/UU/vacancy/13124/lang/en/
Facebooktwitterpinterestlinkedin

DEON 2012: Call for Papers

Posted on by admin
Roofs in the city centre of Bergen, Norway.
Image via Wikipedia

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, DEON2012 will encourage a special focus on the topic:
Deontic Logic and Social Choice
There have been nine 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 2010.
Selected papers from the conference will be published in a special issues of Journal of Logic and Computation, and/or the Journal of Applied Logic.
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;
•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
Deontic Logic and Social Choice
DEON2012’s special theme is “Deontic Logic and Social Choice”. Topics of interest in this special theme include, but are not limited to:
•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
We welcome both theoretical work (formal models, representations, logics, specifications, verification) and implementation-oriented work (architectures, programming languages, design models, simulations, prototype systems) on these specific topics.
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 (http://www.springer.de/comp/lncs/authors.html). 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 the submission system at
http://www.easychair.org/conferences/?conf=deon2012
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
The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series (approval pending). Copies of the conference proceedings, will be provided to all participants.
Important Dates
Abstract Submission Deadline: February 27, 2012
Paper Submission Deadline: March 5, 2012
Notification: April 9, 2012
Camera Ready: April 23, 2012
Program Chairs
Thomas Agotnes, University of Bergen
Dag Elgesem, University of Bergen
Jan Broersen, Utrecht University

11th International Conference on Deontic Logic in Computer Science

16-18 June 2012

University of Bergen, Norway

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, DEON2012 will encourage a special focus on the topic: Deontic Logic and Social Choice

There have been nine 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 2010.

Selected papers from the conference will be published in a special issues of Journal of Logic and Computation, and/or the Journal of Applied Logic.

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

Deontic Logic and Social Choice

DEON2012’s special theme is “Deontic Logic and Social Choice”. Topics of interest in this special theme include, but are not limited to:

  • 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

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

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 (http://www.springer.de/comp/lncs/authors.html). 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 the submission system at

http://www.easychair.org/conferences/?conf=deon2012

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

The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series (approval pending). Copies of the conference proceedings, will be provided to all participants.

Important Dates

Abstract Submission Deadline: February 27, 2012

Paper Submission Deadline: March 5, 2012

Notification: April 9, 2012

Camera Ready: April 23, 2012

Program Chairs

Thomas Agotnes, University of Bergen

Dag Elgesem, University of Bergen

Jan Broersen, Utrecht University

Enhanced by Zemanta
Facebooktwitterpinterestlinkedin