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.]
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.
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/
|