In association with the British Computer Society Formal Aspects of Computing Science BCS-FACS the LMS hosts an annual evening seminar on aspects of the computer science-mathematics interface. These events are free to anyone who wishes to attend, and have attracted high quality speakers.
The 2012 BCS-FACS Event was held on Tuesday 6 November.
This year's speaker was, Jack Copeland (University of Canterbury, New Zealand) who gave a talk on The Mathematical Objection: Turing, Gödel and Penrose on the Mind
Previous Seminars
2011
Professor Andrew Ireland - Reasoned Modelling: Towards Decision Support for System Designers.
2010
Professor Peter O’Hearn - Reasoning about Programmes Using a Scientific Method
2009
Professor Mike Gordon, FRS – Forward with Hoare.
2008
Professor John Tucker – The Equations of Computer Science
Submitted by Elizabeth Fisher on
