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