BCS is a registered charity: No 292786
Text size
Contrast
Past events: 2005
| Date | Details |
| 08 Dec 2005 | Title: Why separation logic is the bee's knees, and why you should care Speaker: Professor Richard Bornat, Middlesex University This was a joint meeting with the Advanced Programming Specialist Group |
| 08 Nov 2005 | Title: nuZ - a wide-spectrum logic for specification and program development Speaker: Professor Martin Henson, University of Essex |
| 21 Sep 2005 | Title: Formal methods meets biochemical pathways Speaker: Professor Muffy Calder, University of Glasgow This was a joint meeting with BCSWomen |
| 25 Jul 2005 | Title: Domain Engineering Speaker: Professor Dines Bjørner, Technical University of Denmark |
| 27 Apr 2005 | Title: FM@Waikato Speaker: Professor Steve Reeves, University of Waikato |