Sun 16 Jan 2022 16:40 - 17:00 at Salon III - Long talks #6 Chair(s): Shrutarshi Basu

The purpose of this talk is to introduce exploratory work in the development of a library offering composable, verified legal components written in Lean 4, a general purpose dependently typed programming language and interactive theorem prover. Our goal is to support computation, verification, and experimentation across a variety of legal fields, including civil procedure, securities law, property law, trusts and estates, tax law, and contracts.

Sun 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

16:40 - 17:40
Long talks #6ProLaLa at Salon III
Chair(s): Shrutarshi Basu Harvard University
16:40
20m
Talk
A General Library of Legal ComponentsRemote
ProLaLa
Chris Bailey University of Illinois College of Law
Link to publication
17:00
20m
Talk
Overview of the CCLAW L4 projectRemote
ProLaLa
Avishkar Mahajan Singapore Management University, Martin Strecker Singapore Management University, Meng Weng Wong Singapore Management University
17:20
20m
Talk
Turning Catala into a Proof Platform for the LawRemote
ProLaLa
Alain Delaët INRIA, ENS Lyon, Denis Merigoux INRIA, Aymeric Fromherz Inria
Pre-print