Talks and Poster Presentations (without Proceedings-Entry):
K. van Berkel:
"What is the (potential) role of proof theory for normative reasoning?";
Talk: AuReLeE kick-off workshop, Automated Reasoning with Legal Entities (AuReLeE),
ICR University of Luxembourg (virtual) (invited);
2021-05-27.