Past events: 2008

Date Details
09 Dec 2008 Title: BCS-FACS Christmas Event
Formal Methods and Safety-Critical Systems
All day event
11 Nov 2008 Title: The Equations of Computer Science
Speaker: Professor John Tucker, Swansea University
Venue: De Morgan House, London
This was a joint event with the London Mathematical Society
16-18 Sep 2008 Title: ABZ2008 Conference
ASM, B and Z
03 Mar 2008 Title: To be announced
Professor Steve Schneider, University of Surrey
04 Feb 2008 Title: GC6 Town Hall meeting
All day event