Program Verification and Semantics: Further Work, London, UK, 2 December 2004 (Reminder!)

From: Prof Jonathan Bowen (jpbowen_at_btinternet.com)
Date: 11/28/04 

Date: 27 Nov 2004 15:37:20 -0800

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/