Reactive Synthesis Swen Jacobs, Martin Zimmermann



Written: 12.03.2018 16:00 Written By: Swen Jacobs

The re-exam for Reactive Synthesis will be next week, Tuesday March 20, at 14:15 in Lecture Hall 3 in E1 3 (i.e., our usual lecture hall). Please be there 5 min early, so we can start on time.

Last time we checked, more people had "registered" with us by email than were registered in the official LSF. If you want to participate and have not yet registered in LSF, please do so.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators