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 2011 BCS-FACS Event will be held at 6.00pm on Wednesday 30 November at De Morgan House, 57-58 Russell Square, London, WC1B (Nearest tube: Russell Square). 

This year, Andrew Ireland (Heriot-Watt) will give a talk on Reasoned Modelling: Towards Decision Support for System Designers.

The event is open to everyone and free to all.  Refreshements will be available from 5.30pm.

To register, please email computerscience [at] lms [dot] ac [dot] uk by 25 November.

2011 BCS-FACS Evening Seminar

Previous Seminars

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