Model Checking: Techniques and Applications Swen Jacobs


Changed schedule tomorrow

Written: 07.01.2021 23:47 Written By: Swen Jacobs

Dear students,

I have been informed that the first speaker planned for tomorrow (Chapter 3, Daniel Braun) cannot participate in the proseminar anymore. Therefore, we will skip chapter 3 and start with chapter 5, presented by Rachel Aimee Georg.


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