Updates

Classes are over. A brief summary is available here.

Exams will take place on 6/12/2022 and 7/12/2022. Please check your individual repositories for more information.

There will be a time slot for questions on 1/12/2022 from 13:00 - 17:00.

Changelog

  • 1/11. Added missing slides and examples.
  • 24/11. Added slides and code examples for chapter 11 and course wrap-up.
  • 15/11. Added slides and code examples for chapter 10.
  • 14/11. Added finalized slides for chapter 9; fixed a few typos.
  • 04/11. Added finalized slides and code examples for chapter 8 and material for chapter 9.
  • 02/11. Added description of the second project.
  • 02/11. Added slides and code examples for chapter 8.
  • 28/10. Added finalized slides and code examples for chapter 7.
  • 26/10. Added slides and code examples for chapter 7.
  • 12/10. Added slides and code examples for chapter 6.
  • 10/10. Added slides and code examples with solutions for chapter 4.2 and chapter 5. I also fixed a few errors that made it into the slides. The most significant one affects variants for procedures. Thanks to Emil, Christopher, and Yuchen for asking pointed questions that uncovered these issues!
  • 05/10. Added slides and code examples for chapter 4.2 and chapter 5.
  • 03/10. Added hint to homework of chapter 4.1
  • 30/09. Added slides and code examples with solutions for chapter 4.1
  • 28/09. Added slides, code examples, and homework for chapter 4
  • 24/09. Fixed broken link to the slides. Thanks Christopher.
  • 22/09. Added reading material, homework solutions, and skeletons for the first project.
  • 21/09. Added description of the first project. Notice that the updated project deadline is October 27, 23:59. It was chosen such that you do not end up working on multiple projects simultaneously.
  • 21/09. Added final slides for chapter 2 with some corrections and comments based on feedback. In particular, equality is now always available as an interpreted symbol. It is not part of the signature anymore.
  • 14/09. The slides and code examples for the next class are online now; we will first finish the (updated) material from last lecture. Moreover, fixed a typo in one of the homework tasks (thanks Roberto!).
  • 10/09. Added a more detailed description of the reading material on FOL.
  • 09/09. The next homework and the material covered in class on 08/09 is now online.
  • 07/09. The slides and code examples for the next class are now online.
  • 05/09. Corrected dates on this page.
  • 03/09. Added more detailed explanations of Floyd-Hoare triples and weakest preconditions, and strongest postconditions, since we were a bit too fast during the lecture.
  • 03/09. Corrected a few typos in the formalization. Thanks to Roberto, Oliver, and Oskar for reporting those.
  • 01/09. The full material for lecture 1 and the preliminary material for lecture 2 is online.
  • 29/08. The course page is online.