Tools and Techniques for Verification of System Infrastructure
Event Photos

home
travel
program
participants
photos
festschrift

Click on a photo to see a larger version.

Group Photo

Talks

Talks

Banquet

J Moore

Tobias Nipkow

Sava Krstic

Tom Melham

Xavier Leroy

John Harrison

Peter Sewell

Laurent Thery

Michael Norrish

Mike Gordon

Mike Gordon and Konrad Slind

Tom Melham and Mike Gordon

Last updated by Joe Hurd on 2 April 2008