Lectures are every week on Wednesday, 10:00 - 12:00 on Zoom. (We start at 10:00 sharp).
- Links to zoom: see timetable.
- Lecture slides, video recordings and script are in materials.
- Direct access to video recordings only: here.
The Q&A session runs every week on Friday, 10:00 - 12:00 via Rocketchat. (We start at 10:00 sharp). #proto (password: protocol-verification).
You can ask questions in written form or via video, they will be answered in short videos. Besides answering questions about the content of the lectures, during the Q&A sessions we will also discuss the exercises together.
Exercises are not mandatory. They are graded to give you an idea of your progress. Please provide quality solutions in written form, English or German, clear, precise, formal. Handwritten answers are okay. Submit your solution in PDF format on CMS (not by email). Solve them in groups of any size.
In addition to the Q&A sessions, you can also ask questions on the Rocket Chat channel #proto (password: protocol-verification).