9 December 2008

BCS-FACS Christmas Event Formal Methods and Safety-Critical Systems All day event

16-18 September 2008

ABZ 2008 Conference ASM, B and Z

3 March 2008

Professor Steve Schneider, University of Surrey TBA

4 February 2008

GC6 Town Hall meeting All day event

17 December 2007

BCS-FACS Christmas Event Formal Methods In Industry All day event - sold out! See also the associated GC6 Workshop on the Verifiable File Store Mini-Challenge, 18 December 2007, BCS London Offices

10 December 2007

Professor Jane Hillston, University of Edinburgh Process Algebra for Collective Dynamics Joint meeting with BCSWomen

5 November 2007

Professor Samson Abramsky, Oxford University Games, Interaction and Computation Joint meeting with The London Mathematical Society

4 June 2007

Dr Ben Moszkowski, De Montfort University Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals

10 May 2007

Professor Michael Butler, University of Southampton Incremental Development of Distributed Systems

26 April 2007

Professor Ursula Martin, Queen Mary, University of London Design verification for control engineering Joint meeting with BCSWomen

21 March 2007

Professor Egon Börger, University of Pisa, Italy The Abstract State Machines Method for High-Level System Design and Analysis 5.15pm refreshments for 6pm start

7 February 2007

Professor Michael Jackson, Open University and Consultant What Can We Expect From Program Verification? 5.15pm refreshments for 5.45pm start NOTE: The FME AGM will be held beforehand.

15 December 2006

BCS-FACS Christmas Event TFM 2006: Teaching Formal Methods See proceedings All day event

24 November 2006

Mike Shields retirement event Models of Computation and Open Computing All day event

9 November 2006

Professor Ursula Martin, Queen Mary, University of London Design verification for control engineering Postponed until 26 April due to illness Joint meeting with BCSWomen

4 September 2006

Professor Peter Ryan, University of Newcastle The Computer Ate my Vote NOTE: 6pm start

21 June 2006

Dr Anthony Hall, Consultant Realising the Benefits of Formal Methods

7 June 2006

Professor Tom Maibaum, McMaster University, Canada The Three Amigos: or why 'There is more to specifying systems that connect to the physical world' than they admit NOTE: 6pm start

24 April 2006

Professor Cliff Jones, University of Newcastle Specifying systems that connect to the physical world (Joint work with Ian Hayes and Michael Jackson) Joint meeting with Formal Methods Europe

3 March 2006

Professor Peter Mosses, University of Wales Swansea Programming Language Description Languages: From Scott and Strachey to Semantics Online

30 January 2006

Jean-Raymond Abrial, ETH Zurich Ian Hayes, University of Queensland Cliff Jones, University of Newcastle John Tucker, University of Wales Formal Methods in the Last 25 years NOTE: 5.30pm start Joint meeting with Formal Methods Europe

8 December 2005

Professor Richard Bornat, Middlesex University Why separation logic is the bee's knees, and why you should care NOTE: 6pm start Joint meeting with Advanced Programming Specialist Group

8 November 2005

Professor Martin Henson, University of Essex nuZ -- a wide-spectrum logic for specification and program development

21 September 2005

Professor Muffy Calder, University of Glasgow Formal methods meets biochemical pathways Joint meeting with BCSWomen

25 July 2005

Professor Dines Bjørner, Technical University of Denmark Domain Engineering

27 April 2005

Professor Steve Reeves, University of Waikato FM@Waikato

Seminars are held at the BCS London Offices, near Covent Garden:

Seminars are free and open to everyone. Security at the BCS Offices is tight, so please pre-register by contacting Paul Boca.

If you would like to be added to the FACS Events mailing list (FACS-EVENTS@jiscmail.ac.uk), please contact Paul Boca.

FACS would like to thank the following for sponsoring the evening seminars