Past events: 2014

Date Details
8 Dec 2014

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

22 Oct 2014

Title:  BCS-­FACS Evening Seminar Joint event with the London Mathematical Society
Venue:
London Mathematical Society, De Morgan House 57-­58 Russell Square, London WC1B 4HS

25 Sep 2014

Title:  BCS FACS - The Cake ML verified compiler - an evening Seminar with Dr. Scott Owens
Venue:
BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

17 Jul 2014

Title:  BCS FACS - Asynchronous Testing
Venue:
BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

5 Jun 2014

Title:  BCS FACS - Alan Turing : The Founder of Computer Science
Venue:
BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

15 May 2014

Title:  BCS FACS - Model-Driven Software Engineering - Promises and Challenges
Venue:
BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

15 Jan 2014

Title:  BCS FACS & CryptoForma Joint Event
Venue:
BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA