Reactive Synthesis

Dear Students,

We have graded your exams, and you should be able to see your grades on your Personal Status page. 
We will have an exam inspection on 31st October 12:00 — 13:00 in E9.1 (CISPA Building), Meeting room 2.22.
After that, I will enter the grades in LSF.

If you have any questions, please let me know.

Kind regards,
Rayna

Dear Students,

we have graded your exams and you should be able to see your grades on your Personal Status page. 
We will have an exam inspection on 15th October 15:00 — 17:00, in E9.1 (CISPA Building), Meeting room 2.22.

Those of you who would like to take the re-exam, please register in CMS for the re-exam by 17th October. 
Once we know the number of students taking the re-exam we will determine the mode (written or oral) and find a suitable date.
(Note: once the date for the re-exam is set you will have to register in LSF).

In case of any questions, please let us know.

 

We wish you a nice weekend!

Philippe, Rafael, and Rayna

Dear students,

we are happy to announce that all teams that have submitted a project solution have passed and are therefore admitted for the exam.

In order to take part in the exam you MUST REGISTER for the exam in the LSF AS SOON AS POSSIBLE!

We will provide you with more detailed feedback on your project and if you qualified for the bonus within the next days.

If you are unsure whether you have passed, you can find this on your personal CMS status page.

Best

Dear Students,

for last-minute questions before the exam, we will have an office hour on Monday, October 7th, between 9am and 11am. This will take place in E9.1 (CISPA Building), Meeting room 2.22.

Of course, if you have any questions before that, please do not hesitate to get in touch with us.

I wish you a nice weekend and a successful exam preparation!

Best regards,

Rayna

Dear Students,

due to requests we have decided to extend the deadline for project submission to 9:00am on Saturday morning (28.09.2024). This deadline is strict.

If you have any last-minute questions about the project, please do come ask them during today's tutorial.

We wish you a successful project completion!

 

Dear students,

we have now released the project description. Unfortunately, due to a mistake from our side the project was not release yesterday immediately after the tutorial. There are two important dates: Please register a team by September 24. We allow teams up to two students, but you also have to register a team if you plan to submit alone. The submission deadline for the project is on September 27 at 17:59.  Feel free to ask if anything is still unclear!

Dear Students,
We hope you have had a great summer, and look forward to welcoming you to the course Reactive Synthesis! 
The first lecture is on Monday, September 16th, at 9:15, taking place in E1.3/HS001.
The first tutorial is also on Monday, at 13:15, in the same lecture hall.
Have a nice weekend, and see you on Monday!