| 9:00 am | High Confidence Software and Systems Brad Martin, NSA |
| 9:15 am | Programatica: The Early Years Mark P. Jones, Oregon Graduate Institute |
| 10:00 am | Krenz Security Architecture: Programatica Case Study Peter White, Oregon Graduate Institute |
| 10:45 am | Break |
| 11:00 am | Common Data Security Architecture (CDSA) Formal Development Peter White, Galois |
| 11:45 am | Lunch |
| 1:15 pm | Advanced Infosec Machine Model and DSLs John Launchbury, Oregon Graduate Institue |
| 2:00 pm | Cryptol: A Domain-Specific Language for Cryptographic Service Providers Jeff Lewis, Galois |
| 2:45 pm | Break |
| 3:00 pm | Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? Carol Smidts, University of Maryland |
| 3:45 pm | Trusting Software: The Impossible Dream Made Possible Tim Kremann, NSA |
| 4:30 pm | Adjourn for the Day |
Thursday, March 29
| 9:00 am | Welcome and Introductions Brad Martin, NSA |
| 9:15 am | Specware John Anton, Kestrel Institute |
| 10:00 am | High-Assurance Java Virtual Machine Alessandro Coglio, Kestrel Institute |
| 10:45 am | Break |
| 11:00 am | An Approach to Software Vulnerability Analysis (SVA) James McDonald, Kestrel Institute |
| 11:45 am | Lunch |
| 1:15 pm | Pragmatic Approaches with COTS John Martin, Wisdom Software |
| 2:00 pm | Java Model Checking Willem Visser, NASA Ames Research |
| 2:45 pm | Break |
| 3:00 pm | Program Verification and the Church-Rosser Theorem Peter Homeier, NSA |
| 3:45 pm | A BDD/SAT Solver for Formal Verification Applications James Franco, University of Cincinnati |
| 4:30 pm | Adjourn for the day |
Friday, March 30
| 9:00 am | Welcome and Introductions Brad Martin, NSA |
| 9:15 am | Keynote Presentation: Disappearing Formal Methods John Rushby, SRI |
| 10:15 am | Break |
| 10:30 am | The Survivable Network Analysis Method: Assessing Survivability of Critical Systems Tom Longstaff, CMU |
| 11:15 am | Automated Reliability Testing - ART William W. Everett, SPRE. Inc. |
| Noon | Tools to Support Enterprise Assurance Arguments Judy Froscher, Naval Research Labs |
| 12:45 pm | Conference Wrap-up Brad Martin, NSA |
| 1:00 pm | Lunch |
| 2:00 pm | Demonstrations |
| 5:00 pm | Conference Adjourned |