Past events: 2017

Date Details
29 Sep 2017

Title: How can you trust formally verified software?
Venue: BCS, 1st Floor, The Davidson Building,
5 Southampton Street, London, WC2E 7HA

15 Jun 2017

Title: Conquering the Barriers to Formal Specification: Some recent developments in iUML- B and Event-B
Venue: BCS, 1st Floor, The Davidson Building,
5 Southampton Street, London, WC2E 7HA

4 May 2017

Title: BCS FACS - Formal Methods Europe (FME) meeting (AGM)
Venue: BCS, 1st Floor, The Davidson Building,
5 Southampton Street, London, WC2E 7HA

4 May 2017

Title: The KeY Formal Verification Tool
Speaker: Prof Dr. Reiner Hähnle, TU Darmstadt, Germany
Venue: BCS, 1st Floor, The Davidson Building,
5 Southampton Street, London, WC2E 7HA

1 Mar 2017

Title: BCS FACS - Half a Century of Formal Methods in Software Engineering: A Personal View
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA