| 1:15-1:30 | Welcome and Introduction by Andrew Adams |
| 1:30-2:30 | John Harrison Invited Talk |
| 2:30-3:00 | Coffee Break |
| 3:00-3:20 | Adams: A PVS Service for MathWEB-SB |
| 3:30-3:50 | Cruz-Filipe: Formalizing Real Calculus in Coq |
| 4:00-5:00 | General Discussion |
Please note: Brendan Mahoney has been injured and is unable to attend.