Kursübersicht aus TUMOnline
Wintersemester 2024/25
| LV-Nr. | Titel | Termine | Vortragende/r (Mitwirkende/r) |
|---|---|---|---|
| 240962819 | Automaten und formale Sprachen (IN2041) |
|
|
| 0000001209 | Bachelor Seminar on Logic and Algorithms (IN0014, IN45063) |
|
|
| 240967808 | Data Mining und Knowledge Discovery (IN2030) |
|
|
| 0000002169 | Doctoral seminar - Theoretical Foundations of Artificial Intelligence (IN2137) |
|
D. Ghoshdastidar [L]
|
| 0000006207 | Komplexitätstheorie (IN2007) |
|
|
| 0000001214 | Master-Seminar – Advanced Complexity Theory (IN2107, IN4442) |
|
|
| 0000004295 | Master-Seminar – Theoretical advances in deep learning (IN2107, IN4409) |
|
|
| 0000003866 | Perlen der Informatik 3 (IN2176) |
|
|
| 0000004494 | Seminar - Recent Advances in the Verification of Neural Networks (IN2107, IN0014, IN45007) |
|
|
| 0000001201 | Seminar on Formal Verification meets Artificial Intelligence (IN0014, IN2107, IN45019) |
|
|
| 0000001206 | Seminar on Model Checking Stochastic Games (IN0014, IN2107, IN45073) |
|
|
| 0000001257 | Übung zu Automaten und formale Sprachen (IN2041) |
|
Sommersemester 2025
| LV-Nr. | Titel | Termine | Vortragende/r (Mitwirkende/r) |
|---|---|---|---|
| 0000005145 | Doctoral Seminar - Theoretical Computer Science |
|
|
| 0000004294 | Logik (IN2049) |
|
|
| 0000002560 | Petrinetze (IN2052) |
|
|
| 0000003311 | Seminar - Recent Advances in the Verification of Neural Networks (IN2107, IN0014, IN45007) |
|
|
| 0000001443 | Seminar on Automata Theory (IN0014, IN2107, IN45112) |
|
F. Bruse [L]
|
| 0000002385 | Seminar on Decision-Making Under Uncertainty (IN0014, IN2107, IN45113) |
|
|
| 0000001548 | Seminar on Model Checking Stochastic Games (IN0014, IN2107, IN45073) |
|