Diese Webseite wird nicht mehr aktualisiert.

Mit 1.10.2022 ist die Fakultät für Physik in der TUM School of Natural Sciences mit der Webseite https://www.nat.tum.de/ aufgegangen. Unter Umstellung der bisherigen Webauftritte finden Sie weitere Informationen.

de | en

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

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)

SemesterTitelDozent(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
Nach oben