Evaluation and Optional Project
the course evaluation will take place in the lecture on Tuesday, January 14. We are looking forward to getting your feedback!
Furthermore, the optional project will start on Monday, January 13. If you want to participate in the project, please upload a text file on your personal status page until Saturday, January 11, 23:59 with the names and matriculation numbers of all of your group members. The maximal group size is 2. It is sufficient to upload one text file for each team.
Shortly after the registration, we will grant you access to a new GitLab repository. We will freeze your old repository after today's deadline of the mandatory project, so you cannot keep working there. We recommend to copy over your code from the mandatory project if you want to extend it.
More information can be found in the project description in the materials sections.
Your Verification Team