CS Talk - Stefan Leue, University of Constanz, Germany

Event time: 
Monday, October 3, 2022 - 11:45am
AKW 307 and Zoom Presentation See map
51 Prospect Street
New Haven, CT 06511
Event description: 

CS Talk
Stefan Leue
Chair for Software and Systems Engineering
University of Konstanz, Germany

Host: Ruzica Piskac
Please let Ruzica know if you would like to meet with the speaker.

Automated Consistency Checking of Legal Contracts


I will discuss consistency analysis of legal contracts, in particular sales purchase agreements. During the negotiation phase, contracts undergo frequent change. At the same time, sales and purchase agreements often have considerable complexity. It is, hence, desirable to have automated consistency analysis available so as to avoid inconsistent or non-favorable contractual agreements. I describe the system LegalCheck. For a contract given in a structured block syntax it synthesizes a logical representation in decidable fragments of first order logic. It then performs consistency analysis using SMT solving. ContractCheck can also identify unfavorable contractual positions using MaxSMT solving.

Short bio: