Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318)
Lehrveranstaltung 0000000011 im SS 2022
Basisdaten
| LV-Art | Praktikum |
|---|---|
| Umfang | 6 SWS |
| betreuende Organisation | Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza) |
| Dozent(inn)en |
Julia Eisentraut Alexandros Evangelidis Stefanie Mohr Maximilian Weininger Leitung/Koordination: Jan Kretinsky |
| Termine |
Di, 10:15–12:00, MI 03.11.034 sowie 1 einzelner oder verschobener Termin |
Zuordnung zu Modulen
-
IN2106: Master-Praktikum / Advanced Practical Course
Dieses Modul ist in den folgenden Katalogen enthalten:- weitere Module aus anderen Fachrichtungen
weitere Informationen
Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).
| ergänzende Hinweise | |
|---|---|
| Links | TUMonline-Eintrag |
Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)
| Semester | Titel | Dozent(en) | Termine |
|---|---|---|---|
| SS 2023 | Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318) |
Azeem Muqsit, -.
Evangelidis, A.
Mohr, S.
Weininger, M.
Leitung/Koordination: Kretinsky, J. |
einzelne oder verschobene Termine |