POPL ProLaLa 2023

The Workshop on Programming Languages and the Law (ProLaLa 2023) included work on languages for legal domains, verification tools for legal expert systems, and emerging platforms and technologies like smart contracts. At the workshop, Principal Investigator, Mr Wong Meng Meng and Dr Guido Governatori, presented their paper on Defeasible Semantics on L4. 

Event Date

15 - 21 January 2023

Event Venue

Boston, Massachusetts, United States