Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318)
Course 0000000011 in SS 2022
General Data
| Course Type | practical training |
|---|---|
| Semester Weekly Hours | 6 SWS |
| Organisational Unit | Informatics 7 - Chair of Theoretical Computer Science (Prof. Esparza) |
| Lecturers |
Julia Eisentraut Alexandros Evangelidis Stefanie Mohr Maximilian Weininger Responsible/Coordination: Jan Kretinsky |
| Dates |
Tue, 10:15–12:00, MI 03.11.034 and 1 singular or moved dates |
Assignment to Modules
-
IN2106: Master-Praktikum / Advanced Practical Course
This module is included in the following catalogs:- Further Modules from Other Disciplines
Further Information
Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.
| additional remarks | |
|---|---|
| Links | TUMonline entry |
Equivalent Courses (e. g. in other semesters)
| Semester | Title | Lecturers | Dates |
|---|---|---|---|
| SS 2023 | Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318) |
Azeem Muqsit, -.
Evangelidis, A.
Mohr, S.
Weininger, M.
Responsible/Coordination: Kretinsky, J. |
singular or moved dates |