| 9:00 | Opening remarks |
| Keynote Address |
| 9:15 | Little Known Interfaces to PVS,
Sam Owre |
| 10:15 | Break |
| Tutorial |
| 11:00 | Basic PVS Strategy-Writing,
Ben Di Vito and César Muñoz |
| 11:45 | Advanced PVS Strategy-Writing,
Myla Archer |
| 12:30 | Lunch |
| Technical Paper Session |
| 2:00 | Strategy-Enhanced Interactive Proving and Arithmetic
Simplification for PVS, Ben Di Vito |
| 2:30 | First-Order Proof Tactics in Higher Order Logic Theorem
Provers, Joe Hurd |
| 3:00 | Coq Tacticals and PVS Strategies: A Small Step Semantics, Florent Kirchner |
| 3:30 | Break |
| Position Paper Session |
| 4:00 | Rippling in PVS, A. A. Adams and L. A. Dennis |
| 4:15 | Generating Proof-Specific Strategies for PVS,
Pertti Kellomaki |
| 4:30 | Developing Strategies for Specialized Theorem
Proving,
Sayan Mitra and Myla Archer |
| Panel |
| 4:45 | Discussion |
| 5:15 | Closing (and informal demos) |