Organising Committee

• Maria Fox (University of Strathclyde, UK)
• Allen Goldberg (Kestrel Technology/NASA Ames, USA)
• Klaus Havelund (Kestrel Technology and Affiliate of NASA/JPL)
• Derek Long (University of Strathclyde, UK)

Program Committee

• Howard Barringer (University of Manchester, UK)
• Saddek Bensalem (Verimag, France)
• Enrico Giunchiglia (University of Genova, Italy)
• Tom Henzinger (Berkeley, USA)
• Gerard Holzmann (JPL/NASA, USA)
• Kim Guldstrand Larsen (Aalborg University, Denmark)
• David Musliner (Honeywell, USA)
• Nicola Muscettola (NASA Ames, USA)
• Joseph Sifakis (Verimag, France)
• Douglas Smith (Kestrel Institute, USA)
• Carolyn Talcott (SRI, USA)
• Brian Williams (MIT, USA)