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.