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
Sun 15 Jan 2023
Rooms
Kenmore
Tracks
ProLaLa
Badges
Virtual
Your Program
Nothing to filter
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 |