Verification

Dear students,

We expect to cover the topics of the third project part in Thursday's lecture, hence we will release Project Part 3 on Thursday as well. The deadline for Project Part 3 will be on 17th of February.

To adjust for this higher workload shortly before the exam, Part 3 will be comparatively small. Also, we will adjust the points on the problem sets to give you more time to work on the project. Instead of a maximum of 24 points, there will be a maximum of only 12 points (+ 6 Bonus points).

See you on Thursday,
Your Verification Team

Dear students,

We have reviewed the second project part and uploaded the results in the CMS.

If you have not passed this part, you may fix your project until the 20th of January. In these cases, we have created an issue on GitLab that includes the tests that failed for your project.

If you have any questions or cannot see the issue, don't hesitate to contact us by mail or on MS Teams.

See you online and stay healthy,
Your Verification Team

Dear students,

As mentioned in the lecture, we will not upload the new project part today. This results from the delay in the course. 

We will upload the new project part next week and give you more time to work on this last part of the project. 

We are sorry for the delay,
Your Verification Team 

Dear students,

We have reviewed the first project part and uploaded the results on the CMS.

We allow you to fix your project if you have not passed this part. For this, you have time until the 5th of January. We created an issue on GitLab that includes the tests that failed, such that every project member can see the results.

If you have any questions or cannot see the issue, don't hesitate to contact us by mail or on MS Teams.

See you online and stay healthy,
Your Verification Team

Dear students,

Unfortunately, we have to delay the release of Project Part 2, which was originally planned for today. We will release it on Monday at the latest.

Furthermore, we will extend its deadline by one week to account for the delay and the Christmas holidays.

Sorry for the inconvenience and have a nice weekend,
Your Verification Team

Dear students,

As mentioned in Tuesday's lecture, we will react to the growing number of COVID-19 cases and new regulations by holding the lectures and office hours online only, starting today. Simply use the Zoom link for the lectures, and join us in the MS Teams call for the Office Hour.

The tutorials will keep their hybrid setup as long as this is allowed. 

See you online and stay healthy,
Your Verification Team

Dear students,

We have released the first part of the course project.

You can find detailed instructions in the Project Overview and Project Part 1 in the Materials section of the CMS.

If you have any questions regarding the project, post on MS Teams or come to the Office Hour.

Best of luck, and give Rust a try!
Your Verification Team

Dear students,

We have enabled the Team Groupings feature in the CMS for the submission of the Problem Sets. This feature allows you to create and join teams via your Personal Status page. After a team is founded, you can invite the other students with an invitation code.

The feature allows you to hand in group submissions. All team members can see the Problem Set submission of their team on their Personal Status pages.

Please use the Team Groupings feature for the next submissions, starting with Problem Set B next week.

Have a nice weekend,
Your Verification Team

Dear students, 

We have assigned you to the tutorial slots. You can see your assigned tutorial on your Personal Status page.

Due to the great interest in the lecture, we have decided to offer dedicated offline and online tutorials in each time slot. The offline tutorials are located in Room 206, E1 1. For the online tutorials, we will use MS Teams.

Please join us on MS Teams by finding a link and code in this weeks Problem Set A. Use the code to join our team by selecting the button "Join or create team" in the top-right corner of the "Teams" page (selected on the left in MS Teams). You can use the Forum channel on MS Teams to find a group to work with, or to ask questions related to the course.

Have a nice weekend,
Your Verification Team

Dear students,

We have now uploaded the first lecture in the Materials section, where you can also find the lecture slides and the assignment sheets starting tomorrow. The video of Lecture 1 leaves room for improvement, and we are working on improving both the video and streaming setup.

Additionally, we would like to remind you to register in the CMS and set your tutorial preferences by the end of tomorrow. Remember that we can only find the globally best tutorial assignment if you only mark "Not Okay" if you have another lecture or tutorial in this time slot.

Looking forward to the next lecture,
Your Verification Team 

Dear students,

Registration is now open. Please use the additional fields named "Lecture/Tutorial Mode" to indicate whether you will likely attend the lectures and tutorials in person if both options are possible. This will help us tremendously in offering you an optimal course setup.

Looking forward to the coming semester,
Your Verification Team