Visual Propositional Logic With yscriptVirtual
yscript is a programming language based on propositional logic, designed for representing legal rules and building expert systems. The core logical dynamics of yscript programs are very simple, and the programs and their executions can therefore be straightforwardly visualized. This talk presents ideas for creating and interacting with yscript programs in visual terms.
Will O’Hanley is a computable contracts developer at CodeX, where he builds software needed to support CodeX research initiatives. Will is interested in the limits of language (both legal and programming), the pragmatics of code, and critical technical practice.
Will earned a B.Sc. in computer science from the University of Prince Edward Island and a J.D. from the University of Victoria, where he was also a research assistant for the University of Victoria Access to Justice Centre for Excellence. He has worked for several years as a software developer, focusing particularly on web applications and data visualization. He has also worked as a teacher in Canada, China, and South Korea. In his spare time, he cultivates yeast, works on a video game about the Mayne Queen, and (re)(-re)(-re)configures Emacs.
Sun 15 JanDisplayed time zone: Eastern Time (US & Canada) change
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 25mTalk | Experience report: implementing a real-world, medium-sized program derived from a legislative specification ProLaLa Denis Merigoux INRIA Pre-print File Attached | ||
14:25 25mTalk | Legal Contracts Amending in StipulaVirtual ProLaLa Cosimo Laneve University of Bologna, Alessandro Parenti University of Bologna, Giovanni Sartor University of Bologna | ||
14:50 25mTalk | Towards an Automatic Consolidation of French LawVirtual ProLaLa Georges-André Silber Mines Paris, PSL University File Attached | ||
15:15 10mTalk | DCR Graphs as Co-created Executable Models of the Law ProLaLa Thomas T. Hildebrandt University of Copenhagen File Attached | ||
15:25 10mTalk | Visual Propositional Logic With yscriptVirtual ProLaLa William O'Hanley Stanford CodeX Link to publication |