| Mo | Di | Mi | Do | Fr |
|---|
| 08:00 |
| GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming | | (Mendler) | | WE5/01.004 |
| |
| GdI-MfI-1: Mathematik für Informatik 1 | | (Mendler) | | WE5/00.022 |
| | |
| GdI-MTL-B: Modal and Temporal Logic | | (Mendler) | | WE5/04.004 |
| | | |
|---|
|
|
|
| 09:00 | | | |
|---|
|
|
|
| 10:00 | | | | | | |
|---|
|
|
|
| 11:00 | | | | | | |
|---|
|
|
|
| 12:00 | | | |
| GdI-MfI-1: Mathematik für Informatik 1 | | (Mendler) | | WE5/00.022 |
| | | |
|---|
|
|
|
| 13:00 | | | | | |
|---|
|
|
|
| 14:00 | |
| GdI-MTL-B: Modal and Temporal Logic | | (Mendler) | | WE5/04.004 |
| | | | | |
|---|
|
|
|
| 15:00 | | | | | |
|---|
|
|
|
| 16:00 | |
| ARES3: Oberseminar Software Science | | (Lüttgen) | | WE5/05.005 |
| |
| GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming | | (Mendler) | | WE5/01.003 |
| | |
| GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming | | (Mendler) | | WE5/01.004 |
| | |
|---|
|
|
|
| 17:00 | | | |
|---|
|
|
|