Reactive Synthesis

Dear Students,

since there will be some changes in the schedule regarding exercises, tutorials and office hours,
we'd like to give you a short overview beforehand.

All the lectures as well as the tutorial on Friday, 20.01., are unaffected and will take place as planned.

For the next week starting on the 23.01.:

• There is no new problem set for this week, so you can focus on finishing the project submission due on Monday, 30.01.; this week will be your last opportunity to ask questions about it.
• We will have an online Office Hour on Wednesday, 25.01., at 4 pm.
• The tutorial on Friday, 27.01., will take place in person at the usual time and place, but as another Office hour for the project.

For the week after, starting on the 30.01.:

• There will not be a tutorial on the 3rd.

For the week starting on the 06.02.:

• We will have a summary lecture on Monday, 06.02.
• There will be a tutorial Friday, 10.02., where we will discuss the remaining exercises and any open questions about the materials.

 

We will update the timetable on the CMS to reflect these changes. If you have any more questions, feel free to ask. 
Good luck with the project, and see you on Friday!

Dear students,

just a quick reminder that there will be an office hour today, and no tutorial this Friday.
Should you have any questions regarding the project or problem sets so far, feel free to join us on zoom.

Please remember to create teams on your personal status page in the CMS, even if you intend to work alone.
Use the forum if you are looking for a project partner, or in case more questions arise.

Happy holidays and see you next year!

Dear students,

as you may know, the university will start a period of reduced heating from next week until January 6.
The lecture will happen at the usual time on Monday, December 19, over zoom.
You can find the link to the meeting on the CMS.

The tutorial this Friday (December 16) will take place in person as before; we will discuss the latest problem set.

There is, however, no new problem set this week, and we won't have a tutorial on Friday, December 23.
Instead, there will be an Office Hour on Wednesday, December 21, at 4 pm.
You can ask questions about the project, the lecture, and previous exercises.
This office hour will be held on zoom; see the respective link on this page. 

We hope to see many of you next week. Best wishes.

 

Dear students,

we are happy to announce the start of the project. The project description is available in the Materials section. Please note the following:

• You can submit alone or as a group of two. Either way, you should form a team of one or two on your personal status page by January 9. You can use the forum to find a project partner if you want to work in a group.
• If you have any questions regarding the project, feel free to ask them in the forum such that other students will also benefit from your question.
• You have to submit the project by January 30.

Good luck with the project.