| Time | Lecture | Lecturer |
|---|---|---|
| 08:30 | Registration | |
| 09:00 | Welcome | |
| 09:15 | Propositional and Predicate logic | MA |
| 10:15 | Exercises 1 (PVS theories) | |
| 10:45 | Coffee Break | |
| 11:00 | Real Number Proving | CM |
| 11:30 | Abstract Data Types | MM |
| 12:00 | Exercises 2 (PVS theories) | |
| 12:30 | Lunch | |
| 14:00 | Induction, Recursion, and Iteration | CM |
| 14:30 | Animation of Functional Specifications | MM |
| 15:00 | Exercises 3 (PVS theories) | |
| 15:45 | Coffee Break | |
| 16:00 | PVS in Practice | CM |
| 16:30 | Strategies | CM |