Past events: 2016

Date Details
12 Dec 2016

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

12 Dec 2016

Title:  BCS FACS - Annual Peter Landin Semantics Seminar: Building Trustworthy Refactoring Tools
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

15 Nov 2016

Title:  Christopher Strachey - Pioneer of FACS
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

3 Nov 2016

Title:  Probabilistic formal analysis of software usage styles in the wild
Venue: London Mathematical Society, De Morgan House 57-58 Russell Square, London, WC1B 4HS

29 Sep 2016

Title:  Can robots ever be safe?
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

17 May 2016

Title:  BCS FACS - Model-Based Testing: There is Nothing More Practical than a Good Theory
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA