Past events: 2009

Date Details
01 Dec 2009 Title: Forward with Hoare
Speaker: Professor Mike Gordon FRS, University of Cambridge
Venue: De Morgan House, London
This was a joint meeting with the London Mathematical Society
19 Oct 2009 Title: To be announced
Speaker: Professor Marta Kwiathowska, Oxford University
This was a joint meeting with BCSWomen
02 Apr 2009 Title: Models of Computation Automata and Processes
Speaker: Jos Baeten, Eindhoven University of Technology
This was a joint meeting with Formal Methods Europe.
The FME AGM was held beforehand.