Forthcoming Events

Forthcoming events from the Formal Aspects of Computing Science (FACS) Group are listed below.

 

Date Details
15 June
2017
Title: Conquering the Barriers to Formal Specification: Some recent developments in iUML- B and Event-B
Speaker: Colin Snook, University of Southampton, UK
Venue: BCS, 1st Floor, The Davidson Building,
5 Southampton Street, London, WC2E 7HA
2 Nov
2017
Title: Coming soon.....
Speaker: Prof. Erika Abraham, University of Aachen
Venue: The London Mathematical Society De Morgan House, 57-58 Russell Square, London, WC1B 4HS