posted by user: dsasdelli || 550 views || tracked by 1 users: [display]

LN2FR 2022 : Workshop on Methodologies for Translating Legal Norms into Formal Representations

FacebookTwitterLinkedInGoogle

Link: https://jurix2022.rechtsinformatik.saarland/session/ln2fr-methodologies-for-translating-legal-norms-into-formal-representations-full-day/
 
When Dec 14, 2022 - Dec 14, 2022
Where Saarbrücken (Germany)
Submission Deadline Nov 3, 2022
Notification Due Nov 18, 2022
Categories    AI   legal informatics   deontic logic   legal reasoning
 

Call For Papers

LN2FR 2022: Workshop on Methodologies for Translating Legal Norms into
Formal Representations in conjunction with JURIX 2022, the 35th International
Conference on Legal Knowledge and Information Systems.

Workshop date: December 14th, 2022, Saarbrücken, Germany (the workshop
will likely be conducted as a hybrid event).
Deadline for submission: November 3th, 2022.

Motivation
-----------------

Using symbolic logic or similar methods of knowledge representation to
formalise legal norms is one of the most traditional goals of legal informatics
as a scientific discipline. More than mere theoretical value, this approach
is also connected to promising real-world applications involving, e.g., the
observance of legal norms by highly automated machines or even the (partial)
automatisation of legal reasoning, leading to new automated legal services.

Albeit the long research tradition on the use of logic to formalise legal
norms – be it by using classic logic systems (e.g., first-order logic), be
it by attempting to construct a specific system of logic of norms (e.g.,
deontic logic) –, many challenges involved in the development of an adequate
methodology for the formalisation of concrete legal regulations remain unsolved.
This includes not only the choice of a sufficiently expressive formal language
or model, but also the concrete way through which a legal text formulated in
natural language is to be translated into the formal representation.

The workshop LN2FR seeks to explore the various challenges connected with
the task of using formal languages and models to represent legal norms in
a machine-readable manner.

Topics
-----------------

LN2FR seeks to discuss current research questions concerning (among others):

- Knowledge representation methods applicable to legal norms (especially traffic
rules), including different types of (deontic) logic or comparable formalisms
- Formalisation of rule-exceptions, rule-conflicts and/or contrary-to-duty obligations
- Formalisation of abstract legal concepts and basic principles of law (e.g., “human
dignity”, “mutual respect”, “care”, “danger”, “trust”)
- Models and approaches to the practical implementation of law-formalisations (e.g.,
(legal) ontologies, LegalRuleML, PROLEG, reasoning engines, SAT-solvers)
- Models and approaches – including automated methods – to adequately ‘translate’
legal provisions (especially traffic rules) from natural language to a formal symbolism
- Legal and/or engineering challenges arising from the use of formal representation methods
to formalise legal norms (especially traffic rules)

Scope
-----------------
The workshop aims to attract participants from various disciplines,
particularly from Computer Science, Law and Philosophy, and to be
of interest to anyone working on the application of knowledge
representation methods to the field of law.

Participation and Submission
---------------------------------------------------
People interested in participating are invited to submit short (5-9 pages) or long papers (10-14 pages) in PDF before November 3rd 2022
via easychair: https://easychair.org/my/conference?conf=ln2fr.
Please use the Springer LNCS format style to prepare your submission.

Authors of the accepted papers will present at the workshop (remote
participation will likely be possible). The publication of the accepted
papers (workshop–proceedings) is intended.

Organizers
-----------
Georg Borges (Saarland University, Germany)
Ken Satoh (National Institute of Informatics, Japan)
Erich Schweighofer (Univeristy of Vienna, Austria)

Related Resources

SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Call for Chapters - CRC Press 2024   Internet of Things: Challenges and Advances
FM 2024   Formal Methods
AI&S 2024   Call For Papers: Special issue of the Journal AI & Society - The Impact of Generative AI on Human Creativity
LEGAL 2024   Legal and Ethical Issues in Human Language Technologies
NLPD 2024   5th International Conference on NLP & Big Data
Big Data in Healthcare 2024   Special Session (SS10) on Harnessing the Power of Big Data in Healthcare: Transforming Insights into Action
VLSICS 2024   International Journal of VLSI design & Communication Systems
ICFEM 2024   International Conference on Formal Engineering Methods
PPAM 2024   15th International Conference on Parallel Processing & Applied Mathematics