update schedule on course website

[jelletreep]

In the pre-workshop email we now write that the workshop starts at 9:30 on both days, I think this is fine. However, we need to make sure the email and the schedule on the website are consistent to prevent confusion. I suggest to change it to 9:30 in the schedule as well, do you agree @chStaiger ?

[chStaiger]

In the pre-workshop email we now write that the workshop starts at 9:30 on both days, I think this is fine. However, we need to make sure the email and the schedule on the website are consistent to prevent confusion. I suggest to change it to 9:30 in the schedule as well, do you agree @chStaiger ?

Yes and we still need to upate the course information in general and the announcing text. Tat was the last bit I wanted to do after we finished the Intro and publishing parts.

[chStaiger]

• Schedule
• Course information
• Course announcement and Title