News

Welcome!

Written on 07.09.2026 12:18 by Rayna Dimitrova

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 this Thursday, September 10th, at 10:15, in building E9.1 (CISPA Building), lecture hall 0.05.
The first tutorial is also on Thursday, at 13:15, in the same lecture hall.

See you there!

Best regards,
Rayna and Benedikt