Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318)
Lehrveranstaltung 0000000040 im SS 2023
Basisdaten
LV-Art | Praktikum |
---|---|
Umfang | 6 SWS |
betreuende Organisation | Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza) |
Dozent(inn)en |
- Azeem Muqsit Alexandros Evangelidis Stefanie Mohr Maximilian Weininger Leitung/Koordination: Jan Kretinsky |
Termine |
5 einzelne oder verschobene Termine |
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 | See English Description |
---|---|
Links |
LV-Unterlagen TUMonline-Eintrag |
Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)
Semester | Titel | Dozent(en) | Termine |
---|---|---|---|
SS 2022 | Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318) |
Eisentraut, J.
Evangelidis, A.
Mohr, S.
Weininger, M.
Leitung/Koordination: Kretinsky, J. |
Di, 10:15–12:00, MI 03.11.034 sowie einzelne oder verschobene Termine |