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