Hovering over speakers’ names will display titles in most browsers.
|
Wednesday, March 6 |
Thursday, March 7 |
Friday, March 8 |
| 8:30 |
John Launchbury
(Galois) |
— A Spectrum of Industry Technology Transfer (cont'd) —
Thomas Ball (Microsoft Research),
Sriram K. Rajamani (Microsoft Research) |
— Tools and Techniques (cont'd) —
Alessandro Coglio
(Kestrel Institute) |
| 9:15 |
—Foundations—
J Strother Moore
(University of Texas at Austin) |
Mark Tullsen (OGI School of Science and Engineering at OHSU),
John Launchbury (OGI School of Science and Engineering at OHSU) |
| 10:00 |
BREAK |
BREAK |
| 10:30 |
Dusko Pavlovic
(Kestrel Institute) |
John Schlipf
(University of Cincinnati) |
| 11:15 |
Patrick Lincoln
(SRI Computer Science Laboratory) |
James Hook
(OGI School of Science and Engineering at OHSU) |
| 12:00 |
LUNCH |
LUNCH |
LUNCH |
| 13:30 |
Paul Pittelli
(NSA) |
Richard C. Linger
(Software Engineering Institute),
Andrew P. Moore (Software Engineering Institute) |
—Engineering and Experimentation—
Peter White (OGI School of Science and Engineering at OHSU),
James Hook (OGI School of Science and Engineering at OHSU) |
| 13:45 |
— A Spectrum of Industry Technology Transfer —
David Greve (Rockwell Collins Advanced Technology Center),
Matthew Wilding (Rockwell Collins Advanced Technology Center) |
| 14:15 |
— Tools and Techniques —
Jeff Lewis
(Galois) |
Tim Sauerwein
(Galois) |
| 14:45 |
BREAK |
| 15:00 |
Jean-Louis Lanet
(Gemplus Research Laboratory) |
BREAK |
BREAK |
| 15:30 |
James McDonald
(Kestrel Institute) |
Connie Heitmeyer
(Naval Research Laboratory |
| 16:00 |
BREAK |
| 16:15 |
Roderick Chapman
(Praxis Critical Systems Limited |
Carol Taylor (University of Idaho),
Jim Alves-Foss (University of Idaho),
Bob Rinker (University of Idaho) |
William W. Everett
(SPRE, Inc.) |
| 17:00 |
John Penix
(NASA Ames Research Center) |
Conference Adjourned |
| 17:15 |
Adjourn for the day |
|
| 17:45 |
|
Adjourn for the Day |
| 19:30 |
Conference Dinner at the
Annapolis Chart House |
2002 Program Agenda