Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • My Groups
    • Join a Group
      
 
Not a member?
Click here to register!
Forgot username or password?
 
2013 High Confidence Software and Systems Conference
  • Home
  • About
  • Call for Presentations
  • Registration
  • Presentation Submission
  • Poster Submission
  • Program
  • Venue
  • Organizers
  • Files
CPS-VO » 2013 High Confidence Software and Systems Conference

Visible to the public 2009 Program

  • View
Submitted by Katie Dey on Tue, 08/02/2011 - 10:41pm

Hovering over speakers’ names will display titles in most browsers.

« Previous Next »

 
May 18, 2009
May 19, 2009
9:00
Keynote:
James Larus
(Director of Software Architecture,
Microsoft Research)
Keynote:
Natarajan Shankar
(SRI International Computer)
10:00
Break
10:30
Kathleen Fisher
(AT&T Labs Research)
Joe Hurd
(Galois, Inc.)
11:15
Kris Britton
(National Security Agency)
Dawson Engler
(Stanford University)
12:00
Lunch
13:30
Benjamin Pierce
(University of Pennsylvania)
Magnus Myreen
(University of Cambridge)
14:15
Mark P. Jones
(Portland State University)
Henry Spima
(Kestrel Technology)
15:00
Break
16:30
William Cook
(University of Texas — Austin)
Sean Weaver
(NSA)
16:15
Magnus Carlsson
(Galois, Inc.)
Warren Hunt
(Forrest Hunt, Inc.)
  • HCSS '09

© 2012. CPS-VO