BCS Computer Conservation Society & Formal Aspects of Computing Science
Specialist Groups

Program Verification and Semantics: Further Work

2pm Thursday, 2 December 2004
Science Museum, Fellow's Room, London, UK
[Entrance to the right of the main entrance in Exhibition Road.
 Nearest tube: South Kensington.]
All are welcome, no booking is necessary.

An event covering early work in program verification and semantics was held
in 2001.  Professor Jonathan Bowen, Professor Cliff Jones and Dr Teresa
Numerico are organising a follow up event at the Science Museum on 2
December 2004 starting at 2pm and finishing around 5.30pm.
The following pioneers of the field will be speaking:

*        Prof. John C. Reynolds (Carnegie Mellon University, USA)
*        Prof. Gordon Plotkin (University of Edinburgh, UK)
*        Prof. Cliff Jones (University of Newcastle upon Tyne, UK)

The contributions will range from formal presentations to personal
reminiscences.

Programme
    Session 1
        2.00 Introduction
        2.05 John Reynolds
        3.00 Gordon Plotkin
        3.55 Tea/coffee break (Sponsored by BCS-FACS)
    Session 2
        4.30 Cliff Jones
        5.25 Concluding remarks
        5.30 Close of meeting

Presentations will last 40-45 minutes with good time for discussion and 
questions after each.

The meeting is open to all and no booking is required (subject to a seating 
limitation of around 100 people), but you are encouraged to join CCS and/or 
FACS if you enjoy to the event to help support future activities by these 
two BCS Specialist Groups. In particular, Paul Boca, the BCS-FACS membership 
secretary will be on hand during the (free!) tea/coffee break if you would 
like to join FACS (cost £15 per annum for members of BCS and sister 
organizations, £30 otherwise).

The BCS Computer Conservation Society (CCS) and
Formal Aspects of Computing Science (FACS) Specialist Groups
are both supporting the event. For further details, please visit:
http://vmoc.museophile.org/pvs04/