POPL 2023 (series) / ProLaLa 2023 (series) / ProLaLa 2023 / Towards an Automatic Consolidation of French Law
Towards an Automatic Consolidation of French LawVirtual
Sun 15 Jan 2023 14:50 - 15:15 at Kenmore - Session #3 Chair(s): Shrutarshi Basu, Jonathan Protzenko, Emma Tosch
We present preliminary results about Legistix, a tool we are developing to automatically consolidate the French and European law. Legistix is based both on regular expressions used in several compound grammars, similar to the successive passes of a compiler, and on a new specialized language of functional type, allowing to describe the changes applied to the texts. Instead of creating manually a full consolidated version of a text at each modification date, Legistix generates programs from legal documents written in natural language to automatically create the consolidated versions.
Slides (slides-prolala23-autoconso-gas.pdf) | 1.21MiB |
PDF (prolala23-autoconso-gas.pdf) | 412KiB |
Sun 15 JanDisplayed time zone: Eastern Time (US & Canada) change
Sun 15 Jan
Displayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | Session #3ProLaLa at Kenmore Chair(s): Shrutarshi Basu Harvard University, Jonathan Protzenko Microsoft Research, Redmond, Emma Tosch Northeastern University, USA | ||
14:00 25mTalk | Experience report: implementing a real-world, medium-sized program derived from a legislative specification ProLaLa Denis Merigoux INRIA Pre-print File Attached | ||
14:25 25mTalk | Legal Contracts Amending in StipulaVirtual ProLaLa Cosimo Laneve University of Bologna, Alessandro Parenti University of Bologna, Giovanni Sartor University of Bologna | ||
14:50 25mTalk | Towards an Automatic Consolidation of French LawVirtual ProLaLa Georges-André Silber Mines Paris, PSL University File Attached | ||
15:15 10mTalk | DCR Graphs as Co-created Executable Models of the Law ProLaLa Thomas T. Hildebrandt University of Copenhagen File Attached | ||
15:25 10mTalk | Visual Propositional Logic With yscriptVirtual ProLaLa William O'Hanley Stanford CodeX Link to publication |