Past events: 2017

Date Details
12 Dec 2017

Title: BCS FACS 2017 AGM
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

12 Dec 2017

Title: Annual Peter Landin Semantics Seminar: Compiling without continuations
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

2 Nov 2017

Title: Symbolic Computation Techniques in SMT Solving
Venue: The London Mathematical Society De Morgan House, 57-58 Russell Square, London, WC1B 4HS

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