POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
POPL 2023 (series) / Boston Park Plaza /

Room information: Kenmore

VenueBoston Park Plaza
Room nameKenmore
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

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
11:00 - 12:30
Session #2ProLaLa at Kenmore
Chair(s): Shrutarshi Basu Harvard University, Thomas T. Hildebrandt University of Copenhagen, Jonathan Protzenko Microsoft Research, Redmond
11:00
25m
Talk
Building Information Modeling Using Constraint Logic Programming (Extended Abstract)Virtual
ProLaLa
Joaquín Arias Universidad Rey Juan Carlos, Seppo Törmä VisuaLynk Oy, Finland, Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM), Gopal Gupta University of Texas at Dallas, USA
Link to publication DOI Pre-print File Attached
11:25
25m
Talk
Exploring Consequences of Privacy Policies with Narrative Generation via Answer Set Programming
ProLaLa
Chinmaya Dabral North Carolina State University, Emma Tosch Northeastern University, USA, Chris Martens Northeastern University
Link to publication Pre-print File Attached
11:50
25m
Talk
The Structure and Legal Interpretation of Computer ProgramsVirtual
ProLaLa
James Grimmelmann Cornell University
File Attached
12:15
10m
Talk
Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint
ProLaLa
Sterre Lutz Utrecht University and TNO
DOI Pre-print
12:25
10m
Talk
Defeasible Semantics for L4Virtual
ProLaLa
Guido Governatori Singapore Management University, Meng Weng Wong Singapore Management University
Link to publication DOI
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
25m
Talk
Experience report: implementing a real-world, medium-sized program derived from a legislative specification
ProLaLa
Denis Merigoux INRIA
Pre-print File Attached
14:25
25m
Talk
Legal Contracts Amending in StipulaVirtual
ProLaLa
Cosimo Laneve University of Bologna, Alessandro Parenti University of Bologna, Giovanni Sartor University of Bologna
14:50
25m
Talk
Towards an Automatic Consolidation of French LawVirtual
ProLaLa
Georges-André Silber Mines Paris, PSL University
File Attached
15:15
10m
Talk
DCR Graphs as Co-created Executable Models of the Law
ProLaLa
Thomas T. Hildebrandt University of Copenhagen
File Attached
15:25
10m
Talk
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
45m
Keynote
Research keynote
ProLaLa
Chris Bailey University of Illinois College of Law
16:45
25m
Talk
Designing an experiment for comparing user interfaces for legal formalization
ProLaLa
Tereza Novotná Masaryk university, Tomer Libal
17:10
10m
Talk
Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as CodeVirtual
ProLaLa
Jason Morris
File Attached
17:20
10m
Talk
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

Mon 16 Jan

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

09:00 - 10:30
Tutorials 3ATutorialFest at Kenmore
09:00
90m
Tutorial
QuickChick: Combining Random Testing and Verification in Coq
TutorialFest
Leonidas Lampropoulos University of Maryland, College Park
11:00 - 12:30
Tutorials 3BTutorialFest at Kenmore
11:00
90m
Tutorial
QuickChick: Combining Random Testing and Verification in Coq
TutorialFest
Leonidas Lampropoulos University of Maryland, College Park
14:00 - 15:30
Tutorials 7ATutorialFest at Kenmore
14:00
90m
Tutorial
RUST: Regions, Uniqueness, Ownership & Types
TutorialFest
James Noble Research & Programming, Tobias Wrigstad Uppsala University, Sweden
Media Attached File Attached
16:00 - 17:30
Tutorials 7BTutorialFest at Kenmore
16:00
90m
Tutorial
RUST: Regions, Uniqueness, Ownership & Types
TutorialFest
James Noble Research & Programming, Tobias Wrigstad Uppsala University, Sweden
Media Attached File Attached

Sun 15 Jan

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Kenmore

ProLaLa

Session #1

ProLaLa

Session #2

ProLaLa

Session #3

ProLaLa

Session #4

Mon 16 Jan

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Kenmore

TutorialFest

Tutorials 3A

TutorialFest

TutorialFest

Tutorials 3B

TutorialFest

TutorialFest

Tutorials 7A

TutorialFest

TutorialFest

Tutorials 7B

Sun 15 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Kenmore
ProLaLa
Opening comments
09:00 - 09:10
ProLaLa
Academic keynote : A Logician and Lawyer walk into a Classroom
09:10 - 09:55
ProLaLa
Formal Modeling and Analysis of Legal Contracts using ContractCheck
09:55 - 10:20
ProLaLa
What do Relational Properties Have to Say About Legal Expert Systems ?
10:20 - 10:30
ProLaLaVirtual
Building Information Modeling Using Constraint Logic Programming (Exten ...
11:00 - 11:25
ProLaLa
Exploring Consequences of Privacy Policies with Narrative Generation vi ...
11:25 - 11:50
ProLaLaVirtual
The Structure and Legal Interpretation of Computer Programs
11:50 - 12:15
ProLaLa
Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint
12:15 - 12:25
ProLaLaVirtual
Defeasible Semantics for L4
12:25 - 12:35
ProLaLa
Experience report: implementing a real-world, medium-sized program deri ...
14:00 - 14:25
ProLaLaVirtual
Legal Contracts Amending in Stipula
14:25 - 14:50
ProLaLaVirtual
Towards an Automatic Consolidation of French Law
14:50 - 15:15
ProLaLa
DCR Graphs as Co-created Executable Models of the Law
15:15 - 15:25
ProLaLaVirtual
Visual Propositional Logic With yscript
15:25 - 15:35
ProLaLa
Research keynote
16:00 - 16:45
ProLaLa
Designing an experiment for comparing user interfaces for legal formali ...
16:45 - 17:10
ProLaLaVirtual
Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as Code
17:10 - 17:20
ProLaLaVirtual
Formalising Criminal Law in Catala
17:20 - 17:30

Mon 16 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Kenmore
POPL TutorialFest
QuickChick: Combining Random Testing and Verification in Coq
09:00 - 10:30
POPL TutorialFest
QuickChick: Combining Random Testing and Verification in Coq
11:00 - 12:30
POPL TutorialFest
RUST: Regions, Uniqueness, Ownership & Types
14:00 - 15:30
POPL TutorialFest
RUST: Regions, Uniqueness, Ownership & Types
16:00 - 17:30