Past events: 2010

Date Details
6 Dec 2010 Title: Peter Landin Annual Semantics Seminar
Venue: BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
16 Nov 2010 Title: Reasoning about programs using a scientific method
Speaker: Professor Peter O'Hearn (Queen Mary, University of London)
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
13 Sep 2010 Title: FACS AGM 5 - 6pm, followed by FME Evening Seminar: Embedded Control Software Design with Formal Methods and Engineering Models - 6 - 7.30pm
Speaker: Professor Jan Broenink, University of Twente, The Netherlands.
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
14 April 2010 Title: Interdependencies and Resilient Infrastructure
Speaker: Professor Robin Bloomfield, CSR City University London and Adelard
Venue: Birkbeck College London
Joint event with the Safety Critical Systems Club
Further Information
10 Mar 2010 Title: Formal Methods, supercomputers and simulation - understanding complex biological, economic and social systems
Speaker: Professor Mike Holcombe, Sheffield University
Venue: BCS London, Southampton Street
28 Jan 2010 Title: Evolving Critical Systems
Speaker: Professor Mike Hinchey, Lero
Venue: BCS London, Southampton Street