Sun 15 Jan 2023 09:00 - 09:10 at Kenmore - Session #1 Chair(s): Shrutarshi Basu, Jonathan Protzenko

Sun 15 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Session #1ProLaLa at Kenmore
Chair(s): Shrutarshi Basu Harvard University, Jonathan Protzenko Microsoft Research, Redmond
09:00
10m
Day opening
Opening comments
ProLaLa
Jonathan Protzenko Microsoft Research, Redmond, Denis Merigoux INRIA, Shrutarshi Basu Middlebury College
09:10
45m
Keynote
Academic keynote : A Logician and Lawyer walk into a Classroom
ProLaLa
Scott Shapiro Yale Law School, Ruzica Piskac Yale University
09:55
25m
Talk
Formal Modeling and Analysis of Legal Contracts using ContractCheck
ProLaLa
Alan Khoja University of Konstanz, Martin Kölbl CertiK, Stefan Leue University of Konstanz, Rüdiger Wilhelmi University of Konstanz
DOI Pre-print
10:20
10m
Talk
What do Relational Properties Have to Say About Legal Expert Systems ?
ProLaLa
Arthur Correnson École Normale Supérieure de Rennes & Saarland University