Lecture "Formal Modeling and Analysis of Legal Contracts using ContractCheck" accepted for ProLaLa 2023
A lecture entitled "Formal Modeling and Analysis of Legal Contracts using ContractCheck", authored by Alan Khoja, Martin Kölbl, Stefan Leue and Rüdiger Wilhelmi, has been accepted for presentation at the Workshop on Programming Languages and the Law 2023 (ProLaLa 2023), affiliated with the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), to be held on Sunday, January 15th, 2023 in Boston, USA.
A lecture entitled "Formal Modeling and Analysis of Legal Contracts using ContractCheck", authored by Alan Khoja, Martin Kölbl, Stefan Leue and Rüdiger Wilhelmi, has been accepted for presentation at the Workshop on Programming Languages and the Law 2023 (ProLaLa 2023), affiliated with the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), to be held on Sunday, January 15th, 2023 in Boston, USA.