| Mo | Di | Mi | Do | Fr |
08:00 | |
08:00 - 10:00 | GdI-MfI-1-B: Mathematik für Informatik (Vorlesung) | (Mendler) | Wir bieten im WS 20/21 alle Veranstaltungen online an. Ob Übungen als Präsenzveranstaltung stattfinden entscheiden wir kurzfristig. |
| | | | | |
|
|
|
09:00 | | | | | |
|
|
|
10:00 |
10:00 - 12:00 | GdI-IFP: Introduction to Functional Programming (Vorlesung) | (Mendler) | Veranstaltung online über MS Teams | WE5/01.004 |
| | | | | | |
|
|
|
11:00 | | | | | |
|
|
|
12:00 | | | |
12:00 - 14:00 | GdI-MTL: Modal and Temporal Logic | (Mendler) | Veranstaltung online über MS Teams | WE5/04.004 |
| | | |
|
|
|
13:00 | | | | | |
|
|
|
14:00 | |
14:00 - 16:00 | GdI-MTL: Modal and Temporal Logic | (Mendler) | Veranstaltung online über MS Teams | WE5/04.004 |
| | | | | |
|
|
|
15:00 | | | | | |
|
|
|
16:00 | | | | | | |
16:15 - 17:45 | ARES3: Oberseminar Software Science | (Lüttgen) |
| | |
|
|
17:00 | | | | | |
|
|
| |