POPL 2022 (series) / ProLaLa 2022 (series) /
ProLaLa 2022 Program
This is the ProLaLa 2022 program - see the full program for POPL 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 16 JanDisplayed time zone: Eastern Time (US & Canada) change
Sun 16 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 09:45 | |||
09:00 45mKeynote | Research keynote -- Programming Languages and Law: A Research Agenda for a New FieldRemote ProLaLa James Grimmelmann Cornell University File Attached |
09:45 - 10:05 | |||
09:45 20mTalk | Legal CalculiInPerson ProLaLa Shrutarshi Basu Harvard University, Anshuman Mohan Cornell University, James Grimmelmann Cornell University, Nate Foster Cornell University File Attached |
13:30 - 14:10 | |||
13:30 10mTalk | Littleton: An Educational Environment for Property LawRemote ProLaLa Shrutarshi Basu Harvard University, Anshuman Mohan Cornell University, James Grimmelmann Cornell University, Nate Foster Cornell University File Attached | ||
13:40 10mTalk | Modeling Administrative Discretion Using Goal-Directed Answer Set ProgrammingRemote ProLaLa Joaquín Arias Universidad Rey Juan Carlos, Mar Moreno-Rebato Universidad Rey Juan Carlos, José Antonio Rodríguez-García Universidad Rey Juan Carlos, Sascha Ossowski Universidad Rey Juan Carlos Pre-print Media Attached File Attached | ||
13:50 10mTalk | Probabilistic programming for Employment Tribunal remediesRemote ProLaLa James Cheney University of Edinburgh; Alan Turing Institute | ||
14:00 10mTalk | Prevalence of Expression Types in Legislative TextRemote ProLaLa Jason Morris Service Canada, Lexpedite Legal Technology |
14:10 - 14:50 | |||
14:10 20mTalk | Law Smells: Defining and Detecting Problematic Patterns in Legal DraftingRemote ProLaLa Corinna Coupette Max Planck Institute for Informatics, Saarbrücken, Germany, Dirk Hartung Center for Legal Technology and Data Science, Bucerius Law School, Hamburg, Germany, Janis Beckedorf Ruprecht-Karls-Universität Heidelberg, Heidelberg, Germany, Maximilian Böther Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Daniel Martin Katz Illinois Tech – Chicago Kent College of Law, Chicago, IL, USA Pre-print File Attached | ||
14:30 20mTalk | Cod(e)ifying The LawInPerson ProLaLa Nel Escher University of Michigan, Jeffrey Bilik University of Michigan, Alexander Miller University of Michigan, Jennifer Jiyoung Huseby University of Michigan, Divya Ramesh University of Michigan, Alice Liu University of Michigan, Sam Mikell University of Michigan, Nina Cahill University of Michigan, Ben Green University of Michigan, Nikola Banovic University of Michigan File Attached |
15:05 - 15:25 | |||
15:05 20mTalk | Stipula: a domain specific language for legal contractsRemote ProLaLa Silvia Crafa University of Padova, Cosimo Laneve University of Bologna, Giovanni Sartor University of Bologna Pre-print File Attached |
15:25 - 16:10 | |||
15:25 45mIndustry talk | Industry keynote -- What does a toolchain for legislation eventually become?Remote ProLaLa Link to publication |
16:10 - 16:30 | |||
16:10 20mTalk | Ergo - a programming language for Smart Legal ContractsRemote ProLaLa Niall Roche Mishcon de Reya,University College London,Accord Project, Jerome Simeon Clause, Walter Hernandez Mishcon de Reya,Accord Project, Eason Chen Accord Project, Dan Selman Docusign,Accord Project Pre-print File Attached |
16:40 - 17:40 | |||
16:40 20mTalk | A General Library of Legal ComponentsRemote ProLaLa Chris Bailey University of Illinois College of Law Link to publication | ||
17:00 20mTalk | Overview of the CCLAW L4 projectRemote ProLaLa Avishkar Mahajan Singapore Management University, Martin Strecker Singapore Management University, Meng Weng Wong Singapore Management University | ||
17:20 20mTalk | Turning Catala into a Proof Platform for the LawRemote ProLaLa Pre-print |