 |
|
|
|
|
Wednesday - 8/6/96
|
|
8:30 a.m.
|
Purpose of the Workshop -- Introductions
 |
Teresa Lunt (DARPA-ITO)
|
|
|
8:45 a.m.
|
Review of recommendations for Computing, Information, and Communications (CCIC)
R&D Forum for High Confidence Computing contained in America in the Age of
Information: A Forum.
|
|
Mani Chandi (CalTech)
|
|
|
9:30 a.m.
|
Panel I -- "Those who possess the HCS problem".
|
|
Jeff Van Baalen (NASA-Ames)
|
|
|
Mike Dewalt (FAA)
|
|
|
Nancy Leveson, (U.WA)
|
|
|
10:45 a.m.
|
Panel II -- "Those who possess the HCS problem".
|
|
John Murray (FDA)
|
|
|
Leo Beltracchi (NRC)
|
|
|
Henry Heffernan (NIH)
|
|
|
1:30 p.m.
|
Problem Exploration -- Focus on Challenges, Issues, and Priorities
|
|
Teresa Lunt (DARPA-ITO)
|
|
|
Nancy Leveson (U.WA)
|
|
|
3:45 p.m.
|
Continue Problem Exploration
|
|
5:30 p.m.
|
Adjourn Working Session
|
|
|
Thursday - 8/7/96
|
|
8:30 a.m.
|
Reconvene -- Summary of Day 1
|
|
Teresa Lunt (DARPA-ITO)
|
|
|
8:45 a.m.
|
Panel III -- "Those who possess solutions".
|
|
Nancy Leveson (U.WA)
|
|
|
Connie Hietmeyer (NRL)
|
|
|
Ed Felton (Princeton)
|
|
|
Ricky Butler (NASA)
|
|
|
Barry Johnson (U.VA)
|
|
|
John Rushby (SRI)
|
|
|
11:00 a.m.
|
Panel IV -- "Those who possess solutions".
|
|
John Knight (U.VA)
|
|
|
Bob Constable (Cornell)
|
|
|
Shiu-Kai Chin (Syracuse)
|
|
|
Peter Lee (CMU)
|
|
|
1:30 p.m.
|
Solution Exploration -- Focus on Goals, Possibilities, and Approaches
|
|
Terry Mayfield (IDA
|
|
|
Mani Chandi (CalTech)
|
|
|
3:45 p.m.
|
Continue Solution Exploration
|
|
4:30 p.m.
|
Summary Discussions
|
|
|
|
 
|
|
