Course Schedule
DTP
The tentative schedule of the upcoming lectures can be found below. This may still change!
| Date | Topic | Resources | Slides |
|---|---|---|---|
| 23 Apr | Introduction | slides | |
| 25 Apr | Lecture cancelled | ||
| 30 Apr | No Lecture - Queen's Day | ||
| 02 May | Coq intro | Coq demo file | slides |
| 07 May | Software foundations - Basics | ||
| 09 May | No Lecture - Ascension Day | ||
| 14 May | Software foundations - Lists, Polymorphism | ||
| 16 May | Software foundations - Polymorphism, Generalizing IH | slides | |
| 21 May | Verification challenge - coaching session: Jaap van der Plas, Wout Elsinghorst & Pepijn Kokke, Koen Rutten | ||
| 23 May | Verification challenge - coaching session: Tom Tervoort & Stijn van Drongelen, Marco Eilers & Robert Schmidtke | ||
| Joao Pizani Flor & Liewe van Binsbergen, Matthijs Steen & Tibor Bremer | |||
| 28 May | Software foundations - Propositions | ||
| 30 May | Software foundations - Logic | ||
| 04 Jun | Software foundations - Fancy recursion | ||
| 06 Jun | Agda | ||
| 11 Jun | Presentations: Robert Schmidtke | ||
| Matthijs Steen | |||
| Marco Eilers | |||
| 13 Jun | Presentations: Tom Tervoort | ||
| Joao Paulo Pizani Flor | |||
| Stijn van Drongelen | |||
| 18 Jun | Presentations: Wout Elsinghorst | ||
| Jaap van der Plas | |||
| Liewe Thomas van Binsbergen | |||
| 20 Jun | Presentations: Tibor Bremer | ||
| Koen Rutten | |||
| Pepijn Kokke | |||
| 08 Jul | Verification project presentations |