Title: On the use of Event-B in Modelling Data Sharing Agreements

Abstract: Data Sharing Agreements (DSAs) are parts of legal contracts specifying, in constrained natural languages, how data may be shared among different organisations.  In this talk, I will present an approach for modelling and verifying DSAs using the Event-B method.  The work presented was part of the EU FP7 project CONSEQUENCE.  The approach captures the notions of permissions, prohibitions and obligations to some limited degree.