LN2FR – Methodologies for Translating Legal Norms into Formal Representations (full day)

14 Dec 2022
Starterzentrum; A1.1, Room 1.02

LN2FR – Methodologies for Translating Legal Norms into Formal Representations (full day)

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.


The submission deadline has been extended! All interested applicants are invited to submit short (5-9 pages) or long (10-14 pages) papers (written in English) following the LNCS format. We will also accept already published papers (10-14 pages) for review and presentation only; in this case, please indicate this and add a link to biliographical information on the paper on its front page. If an already published paper is accepted, only its link will be included in the proceedings. The submission deadline is November 10th 2022. This is the strict deadline. Contributions submited after this deadline will have to be rejected. Papers can be submitted here.

Possible subjects include (but are not limited to):

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

With respect to use cases and application scenarios, we particularly appreciate contributions which consider the formalisation of traffic regulations in the context of self-driving vehicles. As a common basis for the discussions in the workshop, please refer to this translation of the German Road Traffic Regulations (StVO), especially to the rules contained in sections 5 (Overtaking), 6 (Passing) and in Sign 295 (in annex 2).

The publication of the accepted papers (workshopproceedings) is intended.

The Workshop LN2FR shall be held on December 14th, during the JURIX-2022-conference at Saarland University, Saarbrücken. Participants can register for the conference here. For general informations (location, accommodation etc.), see here.

Program Committee Members:

Mireille Hildebrandt (Vrije Universiteit Brussels (VUB), Belgium)
Livio Robaldo (Swansea University, UK)
Tom van Engers (University of Amsterdam, The Netherlands)
Burkhard Schäfer (University of Edinburgh, UK)
Adrian Paschke (Freie Universität Berlin and Fraunhofer FOKUS, Germany)
Nguyen Le Minh (JAIST, Japan)
Georg Borges (Saarland University, Germany)
Christoph Sorge (Saarland University, Germany)
Erich Schweighofer (Univeristy of Vienna, Austria)
Ken Satoh (National Institute of Informatics, Japan)
Sarah Lawsky (Northwestern University, USA)
Denis Merigoux (Centre Inria de Paris, France)
Diogo Sasdelli (Saarland University, Germany)


Important Dates:

Submission due: November 10th
Notification: November 24th
Camera-ready due: December 1st