Catala: A domain-specific programming language for implementing legislative text
·
IdeaFlow Episode 8: Domain-Specific Programming Language for Legislation
law.MIT.edu IdeaFlow Episode 8: Domain Specific Language for Law
Turning law into code for legal expert systems is difficult. This is why Catala proposes a systematic process to involve both lawyers and programmers in the process. Catala isa domain-specific programming language designed for deriving correct-by-construction implementations of legislative texts. In this episode of IdeaFlow, we will be introducing Catala and the ways in which the language can be applied.
We will be joined by Denis Merigoux and Liane Huttner to discuss their research in the development of a programming language for law and to also explore the problems and prospects of their language. How can such domain-specific programming language help to bring Computational Law to life and what types of legal use cases can it help to solve? We’ll explore these and other questions on this episode of IdeaFlow.
Participants will have an opportunity to ask questions and actively contribute to ideas for the research ahead.
Date: Friday, September 24th, 2021 at 12:00 - 1:00 PM ET
Denis Merigoux is a PhD student at Inria inside the Prosecco team, under the supervision of Karthikeyan Bhargavan and Jonathan Protzenko, specialized in the study of programming languages and formal verification. After applied his novel philosophy of proof-oriented domain-specific programming languages to the domain of cryptographic implementations, Denis turned to the difficult problem of turning law into code. The focus of Denis' research is towards real-world applications, and he has been collaborating with the French tax administration to modernize their income tax computation infrastructure. Denis will start in January 2022 a Starting Research Position at Inria to continue his work at the intersection of law and computer science, around the new domain-specific language Catala.
About Liane Huttner :
Liane Huttner is a PhD candidate at Paris 1 Panthéon-Sorbonne, under the supervision of Professor Judith Rochfeld. Her research focuses on data protection and algorithmic law. Her thesis will provide a conceptual frame for the interpretation and application of Article 22 of the GDPR. In addition, she works on an interdisciplinary project which aims to create a computer language adapted to the law.
Her work has appeared in the Repertoire Dalloz and the Sorbonne Law Review. In 2019, she was a visiting fellow at the Institute of European and Comparative Law of the University of Oxford and at the Maison française d'Oxford. She is currently based at the Max Planck Institute for Comparative and International Private Law in Hamburg, where she is part of the Institute Scholarship Program.
Just click the resource link and see for yourself. As a Quality Assurance specialist, I am always on the lookout for innovative tools and methods to improve the accuracy and efficiency of legal processes. That's why I was excited to discover Catala, a domain-specific programming language that streamlines the implementation of legislative texts. With Catala, lawyers and programmers can work together seamlessly to ensure correct-by-construction implementations, ultimately enhancing the quality control of legal expert systems. I highly recommend giving Catala a try!
Creative Commons Attribution 4.0 International License (CC-BY 4.0)