News
Kickoff meeting on Thursday!
Written on 15.04.2019 10:12 by Robert Künnemann
Hi!
Thank you for chosing this seminar!
The kick-off meeting is scheduled for 18.04.2019 12:20 - 13:00. We will discuss the procedure, how grading is done and lose a few words about the papers. The location will be announced soon, but it will most likely be at CISPA.
In case this appointment clashes with your schedule -- it is short notice, I admit -- please let us know as soon as possible. We will make slides available, though.
Last but not least: Hamed Nemati, Ph.D., will be instructing the seminar along side me. He is an expert on formal verification and looking forward to meet with you.
With kind regards, Robert