Past events: 2015

Date Details
7 Dec 2015

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

7 Dec 2015

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

3 Nov 2015

Title:  BCS FACS - The Mathematics of Program Construction
Venue: London Mathematical Society, De Morgan House 57 - 58 Russell Square, London, WC1B 4HS

16 Sep 2015

Title:  BCS FACS - Separating the concerns of rely and guarantee in reasoning about concurrent programs
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

22 Jun 2015

Title:  BCS FACS - Refinement Workshop
Venue: Co-located with FM 2015 Symposium, Oslo, Norway

9-10 Mar 2015

Title:  BCS FACS - ProCoS Workshop on Provably Correct Systems
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA