Computational models for contracts: how to build them and what we can do with them
In our daily lives we're bound to contracts of all kinds: terms of service, privacy policies, tenancy agreements and national laws. How could you quickly run a query to find out what you're allowed or obliged to do? What if you could know if any of these contracts conflict with each other? And how can authors of contracts be sure that what they write is unambiguous?
This seminar will be held by John J. Camilleri. John will present his ongoing research in representing real-world contracts using logical formalisms, to enable computational verification techniques such as conflict detection and model checking. His reasearch also focuses on interfacing with these formalisms using controlled natural language, as a middle ground between the naturalness of English and the unambiguity of logic. John will show some initial demos of how such systems could work, and connect these to the dream of a fully digital personal contract management system.
John J. Camilleri is a PhD student at the Department of Computer Science and Engineering at Chalmers University of Technology and University of Gothenburg in Sweden. He works with the Language Technology and Formal Methods groups in the REMU project under the supervision of Gerardo Schneider, with a special interest in rule-based techniques for using natural language to interface with formal models for contracts.