Overview of the CCLAW L4 project
L4 is a domain-specific specification language that facilitates semantically rigorous formalization of legal expressions found in legislation and contracts. In our talk we will demo the working pieces (as of late 2021 / early 2022): a low-level core and a high-level language, a transpiler to reasoning back-ends including static analysis / formal verification and an expert system web app, and a real-world case study.
Sun 16 JanDisplayed time zone: Eastern Time (US & Canada) change
16:40 - 17:40
|A General Library of Legal ComponentsRemote|
Chris Bailey University of Illinois College of LawLink to publication
|Overview of the CCLAW L4 projectRemote|
|Turning Catala into a Proof Platform for the LawRemote|