Opening comments (ProLaLa 2023) - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Who

Jonathan Protzenko, Denis Merigoux, Shrutarshi Basu

Track

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

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 programSpecify a time band

When

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

Jonathan Protzenko

Microsoft Research, Redmond

United States

Denis Merigoux

INRIA

France

Shrutarshi Basu

Middlebury College

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

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 programSpecify a time band

Session Program

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