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

14 Dec 2022
Science Park 1, D1.1, room 035

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

The LN2FR-Proceedings can be accessed under the link:


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.


Opening Remarks


Towards a Congruent Interpretation of Traffic Rules for Auto-mated Driving –Experiences and Challenges(Lukas Westhofen, Ingo Stierand, Jan Steffen Becker, Eike Möhlmann and Willem Hage-mann)


Traffic Rule Formalization for Autonomous Vehicle(Hanif Bhui-yan, Guido Governatori, Andry Rakotonirainy, Meng Weng Wong and Avishkar Mahajan)


10:25 –11:00
Making the Implicit Explicit: The Potential of Case Law Analysis for the Formalization of Legal Norms(Georg Borges, Clara Wüst, Diogo Sasdelli, Salome Margvelashvili and Selina Klier-Ringle)


Coffee Break


A validation process for a legal formalization method(Abdelhamid Abidi and Tomer Libal)


Law to Binary Tree -An Formal Interpretation of Legal Natural Language(Ha-Thanh Nguyen, Vu Tran, Ngoc-Cam Le, Thi Thuy Le, Quang Huy Nguyen, Nguyen Le Minh and Ken Satoh)


Logical English for Law(Robert Kowalski, Jacinto Davila, Galileo Sartor and Miguel Calejo)


Lunch Break


A Survey on Logic-Based Approaches to the Formalisation of Legal Norms With Particular Focus on the Formalisation of Traffic Rules(Diogo Sasdelli)


Learning to map the GDPR to Logic Representation on DAPRECO-KB (Phuong Nguyen, Thi-Thu-Trang Nguyen, Vu Tran, Ha-Thanh Nguyen, Nguyen Le Minh and Ken Satoh)


14:50 –15:25
Towards a Methodology for Formalising Legal Texts: A Compari-son of Two Experiments(Adam Wyner, Adeline Nazarenko and Fran-cois Lévy)


Coffee Break


Handling Inconsistent and Uncertain Legal Reasoning for AI Vehi-cles Design(Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland and Lachlan Urquhart)


16:20 –16:55
Semantic Model for the Legal Maintenance: the Caseof Semantic Annotation of France Legislative and Regulatory Texts(Julien Bre-ton, Mokhtar Boumedyen Billami, Max Chevalier and Cassia Trojahn)


16:55 –17:00
Closing Remarks



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