Catala: A domain-specific programming language for implementing legislative text
Résumé
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 is a 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.