ProLaLa 2023
Sun 15 - Sat 21 January 2023
Boston, Massachusetts, United States
co-located with
POPL 2023
Toggle navigation
Attending
Venue: Boston Park Plaza
Program
Complete Program
Your Program
Filter by Day
Sun 15 Jan
Mon 16 Jan
Tue 17 Jan
Wed 18 Jan
Thu 19 Jan
Fri 20 Jan
Sat 21 Jan
Track/Call
Organization
ProLaLa 2023 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
ProLaLa 2024
ProLaLa 2023
ProLaLa 2022
Sign in
Sign up
POPL 2023
(
series
) /
ProLaLa 2023 (
series
) /
Boston Park Plaza
/
Room information: Kenmore
Venue
Boston Park Plaza
Room name
Kenmore
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 #1
ProLaLa 2023
at
Kenmore
Chair(s):
Shrutarshi Basu
Harvard University
,
Jonathan Protzenko
Microsoft Research, Redmond
09:00
10m
Day opening
Opening comments
ProLaLa 2023
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 2023
Scott Shapiro
Yale Law School
,
Ruzica Piskac
Yale University
09:55
25m
Talk
Formal Modeling and Analysis of Legal Contracts using ContractCheck
ProLaLa 2023
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 2023
Arthur Correnson
École Normale Supérieure de Rennes & Saarland University
11:00 - 12:30
Session #2
ProLaLa 2023
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 2023
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 2023
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 Programs
Virtual
ProLaLa 2023
James Grimmelmann
Cornell University
File Attached
12:15
10m
Talk
Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint
ProLaLa 2023
Sterre Lutz
Utrecht University and TNO
DOI
Pre-print
12:25
10m
Talk
Defeasible Semantics for L4
Virtual
ProLaLa 2023
Guido Governatori
Singapore Management University
,
Meng Weng Wong
Singapore Management University
Link to publication
DOI
14:00 - 15:30
Session #3
ProLaLa 2023
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 2023
Denis Merigoux
INRIA
Pre-print
File Attached
14:25
25m
Talk
Legal Contracts Amending in Stipula
Virtual
ProLaLa 2023
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 Law
Virtual
ProLaLa 2023
Georges-André Silber
Mines Paris, PSL University
File Attached
15:15
10m
Talk
DCR Graphs as Co-created Executable Models of the Law
ProLaLa 2023
Thomas T. Hildebrandt
University of Copenhagen
File Attached
15:25
10m
Talk
Visual Propositional Logic With yscript
Virtual
ProLaLa 2023
William O'Hanley
Stanford CodeX
Link to publication
16:00 - 18:00
Session #4
ProLaLa 2023
at
Kenmore
Chair(s):
Shrutarshi Basu
Harvard University
,
Jonathan Protzenko
Microsoft Research, Redmond
16:00
45m
Keynote
Research keynote
ProLaLa 2023
Chris Bailey
University of Illinois College of Law
16:45
25m
Talk
Designing an experiment for comparing user interfaces for legal formalization
ProLaLa 2023
Tereza Novotná
Masaryk university
,
Tomer Libal
17:10
10m
Talk
Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as Code
Virtual
ProLaLa 2023
Jason Morris
File Attached
17:20
10m
Talk
Formalising Criminal Law in Catala
Virtual
ProLaLa 2023
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 3A
POPL TutorialFest
at
Kenmore
09:00
90m
Tutorial
QuickChick: Combining Random Testing and Verification in Coq
POPL TutorialFest
Leonidas Lampropoulos
University of Maryland, College Park
11:00 - 12:30
Tutorials 3B
POPL TutorialFest
at
Kenmore
11:00
90m
Tutorial
QuickChick: Combining Random Testing and Verification in Coq
POPL TutorialFest
Leonidas Lampropoulos
University of Maryland, College Park
14:00 - 15:30
Tutorials 7A
POPL TutorialFest
at
Kenmore
14:00
90m
Tutorial
RUST: Regions, Uniqueness, Ownership & Types
POPL TutorialFest
James Noble
Research & Programming
,
Tobias Wrigstad
Uppsala University, Sweden
Media Attached
File Attached
16:00 - 17:30
Tutorials 7B
POPL TutorialFest
at
Kenmore
16:00
90m
Tutorial
RUST: Regions, Uniqueness, Ownership & Types
POPL 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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Kenmore
ProLaLa 2023
Session #1
ProLaLa 2023
Session #2
ProLaLa 2023
Session #3
ProLaLa 2023
Session #4
Mon 16 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Kenmore
POPL TutorialFest
Tutorials 3A
POPL TutorialFest
POPL TutorialFest
Tutorials 3B
POPL TutorialFest
POPL TutorialFest
Tutorials 7A
POPL TutorialFest
POPL TutorialFest
Tutorials 7B
Sun 15 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
ProLaLa
Virtual
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
ProLaLa
Virtual
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
ProLaLa
Virtual
Defeasible Semantics for L4
12:25 - 12:35
ProLaLa
Experience report: implementing a real-world, medium-sized program deri ...
14:00 - 14:25
ProLaLa
Virtual
Legal Contracts Amending in Stipula
14:25 - 14:50
ProLaLa
Virtual
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
ProLaLa
Virtual
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
ProLaLa
Virtual
Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as Code
17:10 - 17:20
ProLaLa
Virtual
Formalising Criminal Law in Catala
17:20 - 17:30
Mon 16 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
x
Wed 24 Apr 17:53