| Mo | Di | Mi | Do | Fr |
08:00 | | | |
GdI-MTL: Modal and Temporal Logic | (Burke) | WE5/04.004 |
| |
GdI-IFP: Introduction to Functional Programming | (Mendler) | WE5/04.014 |
| | |
|
|
|
09:00 | | | | |
|
|
|
10:00 | | |
AISE-Sem-B: Computational Philosophy | (19.10.-8.2.) | (Benzmüller) | WE5/02.005 |
| |
AISE-UL: Universelle Logik & Universelles Schließen (Gruppe 1) | (Benzmüller) | WE5/05.003 |
| | | |
|
|
|
11:00 | | | | |
|
|
|
12:00 | |
Interaktive Systeme (HCI-IS-B) | (Gross) | WE5/01.006 |
| GdI-IFP: Introduction to Functional Programming | (25.10.-8.11.) | (Mendler) | WE5/01.004 |
| GdI-IFP: Introduction to Functional Programming | (ab 15.11.) | (Mendler) | WE5/03.004 |
| | |
AISE-UL: Universelle Logik & Universelles Schließen (Gruppe 2) | (Benzmüller) | WE5/05.003 |
| PSI-IntroSPTut-B Introduction to Security and Privacy 4 (Tutorials) | (nur 1.12.) | (N.N.) | WE5/05.005 |
| | | |
|
|
|
13:00 | | | |
|
|
|
14:00 | |
GdI-MTL: Modal and Temporal Logic | (Mendler) | WE5/04.004 |
| |
AISE-UL: Universelle Logik & Universelles Schließen | (19.10.-8.2.) | (Benzmüller) | WE5/04.004 |
| | | | | |
|
|
|
15:00 | | | | |
|
|
|
16:00 | |
PSI-IntroSPTut-B Introduction to Security and Privacy 2 (Tutorials) | (N.N.) | WE5/04.004 |
| |
PSI-IntroSPTut-B Introduction to Security and Privacy 3 (Tutorials) | (nicht 25.1.) | (N.N.) | WE5/04.004 |
| PSI-IntroSPTut-B Introduction to Security and Privacy 3 (Tutorials) | (nur 25.1.) | (N.N.) | WE5/04.003 |
| AISE-Sem-M: Masterseminar zu KI-Systementwicklung | (19.10.-8.2.) | (Benzmüller) | WE5/03.004 |
| |
PSI-IntroSPTut-B Introduction to Security and Privacy 1 (Tutorials) | (N.N.) | WE5/04.004 |
| | | |
|
|
|
17:00 | | | |
|
|
|
18:00 | | | | | |
|
|
|