Past events: 2011

Date Details
06 Dec 2011 Title: Annual Peter Landin Lecture
Venue: BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
Speaker: Cliff Jones, Professor (University of Newcastle)
30 Nov 2011 Title: Reasons Modelling: Towards Decision Support for System Design
Venue: De Morgan House, 57/58 Russell Square, London, WC1B 4HS.
Speaker: Andrew Ireland, Professor, London Mathematical Society
21 Sep 2011 Title: Mechanising a Correctness Proof for a Lock-free Concurrent Stack
Venue: BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
Speaker: John Derrick, Professor, University of Sheffield
21 Sep 2011 Title: BCS FACS AGM
Venue: BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
Speaker: Jawed Siddiqi, Professor, Sheffield Hallam University
11 May 2011 Title: BCS-FACS Evening Seminar Series - Formal Methods for Quantum Systems
Venue: BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
Speaker: Dr Simon Gay (University of Glasgow)
5 Apr 2011 Title: BCS-FACS Evening Seminar Series - Formlets
Venue: BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
Speaker: Professor Philip Wadler (University of Edinburgh)
7 Feb 2011 Title: Wanted: Formalisms for Natural Computing
Venue: BCS 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA.
Speaker: Professor Susan Stepney (University of York)