POPL 2023 (series) / ProLaLa 2023 (series) /
ProLaLa 2023 Program
This is the ProLaLa 2023 program - see the full program for POPL 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 15 JanDisplayed time zone: Eastern Time (US & Canada) change
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 10mDay opening | Opening comments ProLaLa Jonathan Protzenko Microsoft Research, Redmond, Denis Merigoux INRIA, Shrutarshi Basu Middlebury College | ||
09:10 45mKeynote | Academic keynote : A Logician and Lawyer walk into a Classroom ProLaLa | ||
09:55 25mTalk | 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 10mTalk | What do Relational Properties Have to Say About Legal Expert Systems ? ProLaLa Arthur Correnson École Normale Supérieure de Rennes & Saarland University |
14:00 - 15:30 | Session #3ProLaLa at Kenmore Chair(s): Shrutarshi Basu Harvard University, Jonathan Protzenko Microsoft Research, Redmond, Emma Tosch Northeastern University, USA | ||
14:00 25mTalk | Experience report: implementing a real-world, medium-sized program derived from a legislative specification ProLaLa Denis Merigoux INRIA Pre-print File Attached | ||
14:25 25mTalk | Legal Contracts Amending in StipulaVirtual ProLaLa Cosimo Laneve University of Bologna, Alessandro Parenti University of Bologna, Giovanni Sartor University of Bologna | ||
14:50 25mTalk | Towards an Automatic Consolidation of French LawVirtual ProLaLa Georges-André Silber Mines Paris, PSL University File Attached | ||
15:15 10mTalk | DCR Graphs as Co-created Executable Models of the Law ProLaLa Thomas T. Hildebrandt University of Copenhagen File Attached | ||
15:25 10mTalk | Visual Propositional Logic With yscriptVirtual ProLaLa William O'Hanley Stanford CodeX Link to publication |
16:00 - 18:00 | Session #4ProLaLa at Kenmore Chair(s): Shrutarshi Basu Harvard University, Jonathan Protzenko Microsoft Research, Redmond | ||
16:00 45mKeynote | Research keynote ProLaLa Chris Bailey University of Illinois College of Law | ||
16:45 25mTalk | Designing an experiment for comparing user interfaces for legal formalization ProLaLa | ||
17:10 10mTalk | Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as CodeVirtual ProLaLa File Attached | ||
17:20 10mTalk | Formalising Criminal Law in CatalaVirtual ProLaLa Luca Arnaboldi The University of Edinburgh, David Aspinall University of Edinburgh, Ronny Bogani University of Edinburgh, Burkhard Schafer University of Edinburgh, Scott Herman Conan & Herman, Jonathan Protzenko Microsoft Research, Redmond, Ekaterina Komendantskaya Heriot-Watt University, UK, Remi Desmartin Heriot-Watt University, Yue Li Heriot-Watt University, UK Pre-print File Attached |