High-Confidence Embedded Systems (HCES)
Schedule
Carnegie Mellon University

May 1 - 2, 2003

All meetings in Newell-Simon Hall 3305 unless otherwise noted.

Thursday, May 1, 2003
7:30 - 8:00 a.m.
Shuttle from Wyndham Garden Hotel to University Center at Carnegie Mellon
8:00 - 8:30 a.m.
Coffee and Registration
8:30 - 10:00 a.m.
Research Review - Carnegie Mellon University
Bruce Krogh
Oleg Sheyner
Ed Clarke
David Garlan
Reid Simmons
10:00 - 10:30 a.m.
Break
10:30 - 12 noon
Research Review - Kansas State University
Matt Dwyer - 1
Matt Dwyer - 2
John Hatcliff
12:00 - 1:00 p.m.
Newell-Simon Hall 1507 & Patio
Lunch
1:00 - 2:30 p.m.
Research Review - University of Pennyslvania
Insup Lee - 1
Sampath Kannan
Kang Shin (UMich)
Elsa Gunter (NJIT)
Insup Lee - 2
2:30 - 2:45 p.m.
Break
2:45 - 4:30 p.m.
Perspectives from Industry
William Milam, Ford Motor Company
Timothy Johnson, General Electric Company
Open Discussion
4:30 - 6:00 p.m.
Poster Session
(refreshments)
Friday, May 2, 2003
7:30 - 8:00 a.m.
Shuttle from Wyndham Garden Hotel to University Center at Carnegie Mellon
8:00 - 8:15 a.m.
Coffee and Registration
8:15 - 8:30 a.m.
Workshop Objectives & Assignments
(Hislop)
8:30 - 9:00 a.m.
Report from Last Year's Workshop
Paul Jones, FDA
9:00 - 10:30 a.m.
Working Group Sessions
Working Group Assignments
10:30 - 11:00 a.m.
Break
11:00 - 12 noon
Working Group Reports and Discussions
Group 1 - Valdis Berzins
Group 2 - Matt Dwyer
Group 3 - Bruce Krogh
Group 4 - Insup Lee
Group 5 - Elsa Gunter
Group 6 - John Hatcliff
12:00 - 1:00 p.m.
Newell-Simon Hall 1507 & Patio
Lunch
1:00 - 2:00 p.m.
Wrap up -- consensus on future research agenda
notes from closing discussion
2:00 p.m.
Meeting Adjourns

For program concerns, please contact Bruce Krogh <krogh@ece.cmu.edu>.
For web site difficulties, please contact Margaret Weigand <weigand@cs.cmu.edu>.

[Attendees]      [Logistics & Hotel]      [Main Page]      [Registration] 

[Top of Page] 
Updated:  14-May-03