Program Verification and Semantics: Further Work - Photographs BCS-FACS

BCS Computer Conservation Society (CCS) & Formal Aspects of Computing Science (FACS) Specialist Groups


BCS Computer Conservation Society

Program Verification and Semantics: Further Work
Photographs 


      Name                    Last modified       Size  Description


[DIR] Parent Directory        13-Sep-2005 19:08      -  
[IMG] cliff-jones-portrait..> 27-Feb-2005 23:43    20k  
[IMG] cliff-jones.jpg         27-Feb-2005 03:56   143k  
[IMG] cliff-jones2.jpg        27-Feb-2005 03:56    23k  
[IMG] cliff-jones3.jpg        27-Feb-2005 03:56    62k  
[IMG] delegates-small.jpg     27-Feb-2005 03:56    30k  
[IMG] delegates.jpg           27-Feb-2005 03:56    84k  
[IMG] early-documents.jpg     27-Feb-2005 03:56   265k  
[IMG] early-documents2.jpg    27-Feb-2005 03:57   375k  
[IMG] gordon-plotkin-portr..> 27-Feb-2005 03:57    19k  
[IMG] gordon-plotkin.jpg      27-Feb-2005 03:57    83k  
[IMG] gordon-plotkin2.jpg     27-Feb-2005 03:57    21k  
[IMG] gordon-plotkin3.jpg     27-Feb-2005 03:57    24k  
[IMG] gordon-plotkin4.jpg     27-Feb-2005 03:57    56k  
[IMG] john-reynolds-portra..> 27-Feb-2005 03:57    17k  
[IMG] john-reynolds.jpg       27-Feb-2005 03:57    51k  
[IMG] john-reynolds2.jpg      27-Feb-2005 03:57    39k  
[IMG] john-reynolds3.jpg      27-Feb-2005 03:57    13k  
[IMG] mosses-audience-smal..> 27-Feb-2005 03:57    36k  
[IMG] mosses-audience.jpg     27-Feb-2005 03:57   242k  
[IMG] plotkin-jones-reynol..> 27-Feb-2005 03:57    39k  
[IMG] plotkin-jones-reynol..> 27-Feb-2005 03:57   279k  
[IMG] plotkin-jones-reynol..> 27-Feb-2005 03:57   262k  
[IMG] plotkin-jones.jpg       27-Feb-2005 03:57    68k  
[IMG] roger-johnson.jpg       27-Feb-2005 03:57    22k
See Program Verification and Semantics: Further Work (2 December 2004).
Maintained by Jonathan Bowen
Last updated 27 February 2005