| 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 | | | | | | |
|
|
|
11:00 | | | | | | |
|
|
|
12:00 | |
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 |
| | |
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 |
| | | | | |
|
|
|
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 |
| |
PSI-IntroSPTut-B Introduction to Security and Privacy 1 (Tutorials) | (N.N.) | WE5/04.004 |
| | | |
|
|
|
17:00 | | | |
|
|
|