Table of contents
Update 1 February: The theoretical part of the course is given by David Mota this year as I have to be head of teaching this semester instead. I will only help out with the project. The schedule can be found on the official course pages.
Schedule Spring 2023
See the official course website for when lectures are given. You can also find the schedule for 2021 here and 2022 here (contains slides and videos for all lectures).