ProLaLa 2023

Prof. Dr. Stefan Leue (Department of Computer and Information Science) and Prof. Dr. Rüdiger Wilhelmi (Department of Law) gave a presentation on "Formal Modeling and Analysis of Legal Contracts using ContractCheck" at the Workshop on Programming Languages and the Law 2023 (ProLaLa 2023). It is part of their ongoing collaboration.

The presentation was based on a lecture co-authored by Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi. The extended abstract is available on arXiv. The ProLaLa program can be found here.