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.