Posts Tagged ‘Computer Science’

DEON 2012: Call for Papers

January 6th, 2012
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

No comments »

Posted in Call for Papers

Tags:

CODEX Resident Fellowship 2011/2012

May 20th, 2011

Codex – The Stanford Center for Legal Informatics (http://codex.stanford.edu) is accepting applications for a Resident Fellowship for the 2011-12 academic year.  Codex is a cross-disciplinary research center jointly operated by Stanford Law School and the Stanford School of Engineering. The center’s mission is to explore the application of technology toward improving the quality, efficiency, and accessibility of the legal system.  Codex research fellows will have the opportunity to spend one to two years at Stanford Law School collaborating with scholars in computer science and other relevant disciplines. Fellows will work on the center’s existing projects, and will have the opportunity to explore related research on their own and commence new projects. Fellows will work with cutting edge technologies emerging from Stanford’s engineering departments, and will be expected to bring a legally oriented perspective toward integrating these technologies into the law. Sample projects include automating the process of intellectual property licensing and developing automated legal compliance systems.  Fellows will also be involved in bringing in leading thinkers in the field to speak at the law school on these topic areas and will work with law and computer science students to engage them in the center’s activities.

Qualifications:
 Applicants should have a J.D. or equivalent law degree. Because the primary focus of the center is employing technology within the law, applicants should also have experience in computer science or engineering related fields. We welcome applicants with practical/professional technical experience in these fields as well as those with formal computer science or engineering undergraduate or graduate training. Applicants should be capable of learning and be comfortable with the technological aspects of the center’s projects.

Salary for the fellowship will be approximately $40,000 per year with benefits.



How to Apply:
 All qualified and interested applicants must apply via the Stanford jobs website:http://jobs.stanford.edu search for this specific posting by entering job number: 42440 in the keyword search field. Applicants should submit:

  • a resume;
  • a brief letter (no more than 2 pages) describing the applicant’s interest in issues applying technology to the law, the applicant’s background, and the research that they propose to conduct;
  • a list of references;


* Please note, if your application is selected to tier II of the hiring process, you will be requested to provide a copy of your law school transcript.

Review of applications will begin immediately, and all applications must be received by May 27, 2011.  Please note that the Codex Center has a technological emphasis and is not focused on technology policy or legal substantive areas such as intellectual property, cyberlaw, or privacy.

For more information about the Stanford Codex Center and its projects please visit the website at http://codex.stanford.edu, or contact Roland Vogl atrvogl@law.stanford.edu.

Enhanced by Zemanta

No comments »

Posted in Announcements

Tags:

Modelling Cases and Rules: Workshop Program and Proceedings online

December 13th, 2010
University of Liverpool Building.
Image via Wikipedia

The program and proceedings of the Jurix 2010 Workshop on Modelling Legal Cases and Legal Rules is now available online from the workshop blog.

The workshop will be held in the afternoon of December 15, 2010 at the University of Liverpool, Department of Computer Science, Ashton Building, Room 310 (start at 14:30).

Enhanced by Zemanta

No comments »

Posted in Announcements

Tags:

ICAIL 2011: Call for Workshops and Tutorials

December 12th, 2010

ICAIL 2011 will include workshops and tutorials on the first and last days.  Proposals for workshops and tutorials are invited, and should be sent to the Program Chair, vanengers@uva.nl, with a copy to the Conference Chair, ashley@pitt.edu.

Tutorials should cover a broad topic of relevance to the AI and Law community.  Proposals should contain enough information to permit evaluation on the basis of importance, quality, and community interest.  Each workshop should have one or more designated organizers and a program or organizing committee.  Proposals should be about 2 to 4 pages and include at least the following information

  • The workshop or tutorial topic and goals, their significance, and their appropriateness for ICAIL 2011
  • The intended audience, including the areas from which participants may come, the likely number of participants (with some of their names, if known), and plans for publicizing the workshop
  • Organization of the workshop or tutorial, including the intended format (such as invited talks, presentations, panel discussions, or other methods for ensuring an interactive atmosphere) and the expected length (full day or half day)
  • Organizers’ details: a description of the main organizers’ background in the proposed topic; and complete addresses including web pages of all organizers and committee members (if applicable).

Important Dates

  • Submission of workshop and tutorial proposals: December 6, 2010
  • Submission of abstracts (optional): January 3, 2011
  • Submission of papers deadline: January 10, 2011
  • Notification of acceptance: tba
  • Final revised and formatted papers due: tba
  • Conference: June 6 – June 10, 2011
Enhanced by Zemanta

No comments »

Posted in Uncategorized

Tags: