Model Checking: Techniques and Applications Swen Jacobs

News

Registration in LSF/HISPOS, date of practice talks

Written: 07.12.2020 09:34 Written By: Swen Jacobs

Dear students,

I just noticed that some of you have not registered in LSF/HISPOS yet. The official due date was last Friday, but I forgot to mention the date in our meetings. So if you did not register by mistake please let me know immediately, and I will make sure you can still register.

The Doodle for the practice talks is now also closed and the practice talks will be held

  • on Friday, January 8, 10am (the time slot for our meetings thus far), and
  • on Saturday, January 9, 1pm (as agreed in the Doodle)

 



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