From 2 November 2020, the autumn semester 2020 will take place online. Exceptions: Courses that can only be carried out with on-site presence.
Please note the information provided by the lecturers via e-mail.

263-4630-00L  Computer-Aided Modelling and Reasoning

SemesterAutumn Semester 2018
Lecturersto be announced
Periodicityyearly recurring course
CourseDoes not take place this semester.
Language of instructionEnglish
CommentTakes place next spring semester (SS19).

In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.

263-4630-00 PComputer-Aided Modelling and Reasoning
Does not take place this semester.
7 hrsto be announced