2008 Program

Submitted by Katie Dey on Thu, 08/04/2011 - 1:51pm

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

	March 5, 2008	March 6, 2008	March 7, 2008
8:30		Keynote: Betrand Meyer (ETH Zurich)	Welcome
8:45			Kathleen Fisher (AT&T)
9:00
9:15		Cordell Green (Kestrel Institute)
9:30		Cordell Green (Kestrel Institute)	Jeff Foster (University of Maryland)

9:45		Bernard Dion (Esterel Technologies)
10:00		Bernard Dion (Esterel Technologies)
10:15		Break	Break
10:30		John Launchbury (Galois)	Break
10:45		John Launchbury (Galois)	Mark P. Jones (Portland State University)
11:00		Gary T. Leavens (University of Central Florida)
11:15		Gary T. Leavens (University of Central Florida)
11:30		Roderick Chapman (Praxis)	Steve Zdancewic (University of Pennsylvania)
11:45		Roderick Chapman (Praxis)
12:00		Lunch
12:15			Lunch
12:30
12:45
13:00
13:15
13:30	Tutorial 1 Doug Smith (Kestrel Institute)	Software and Systems Development Panel: Session Speakers
13:45			Perry Alexander (University of Kansas)
14:00
14:15
14:30		Break	Michael Gegick (North Carolina State University)
14:45		Jeff Nieves (IAO 2012 Task Force)
15:00	Break
15:15	Break		Break
15:30	Greg Dennis Massachusetts Institute of Technology	COTS Strategy- Panel: Byron Cook, Microsoft Research Cambridge Michael Dransfield, NSA Helen Gill, NSF John Launchbury, Galois William Scherlis, Carnegie Mellon University Matt Wilding, Rockwell Collins	John Matthews (Galois)
15:45
16:00
16:15			Byron Cook (Microsoft Research Cambridge)
16:30
16:45
17:00	Adjourn for the day		Conference Adjourned
17:15		Adjourn for the day