In this talk, I will discuss results and lessons learned in the course of exploratory research seeking to formalize the pleading stage of the Federal Rules of Civil Procedure. I will also discuss my contemporaneous experience as a litigator in the Central District of Illinois and the influence of real-world experience on our research.
Sun 15 JanDisplayed time zone: Eastern Time (US & Canada) change
Sun 15 Jan
Displayed time zone: Eastern Time (US & Canada) change
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 | ||