| Mo 18.10.2021 | Di 19.10.2021 | Mi 20.10.2021 | Do 21.10.2021 | Fr 22.10.2021 |
08:00 | |
08:00 - 10:00 | | KInf-DigBib-B: Digitale Bibliotheken und Social Computing | Schlieder |
| |
08:00 - 10:00 | | IIS-MODS-M: Modulare und On-Demand-Systeme | Schlauderer |
| |
08:00 - 10:00 | | GdI-MTL: Modal and Temporal Logic | Burke |
| | | |
|
|
|
09:00 | | | |
|
|
|
10:00 | | | | | | |
10:15 - 11:45 | | SWT-FSA-B: Foundations of Software Analysis | Lüttgen |
| |
10:15 - 11:45 | | SWT-FSA-B: Foundations of Software Analysis | Lüttgen |
| | |
|
|
11:00 | | | | |
|
|
| | |
12:00 | |
12:00 - 14:00 | | Oberkurs (Neue LPO; Unterrichtsfach) | Murphy |
| | | | | |
|
|
|
13:00 | | | | | |
|
|
|
14:00 | |
14:00 - 16:00 | | GdI-MTL: Modal and Temporal Logic | Mendler |
| |
14:00 - 16:00 | | Grundkurs III | Peterson |
| | | | |
|
|
|
15:00 | | | | |
|
|
|
16:00 | | | | | | |
|
|
|
17:00 | | | | | | |
|
|
|
18:00 | |
18:00 - 20:00 | | PSI-IntroSPTut-B Introduction to Security and Privacy 2 (Tutorials) | N.N. |
| | | | | |
|
|
|
19:00 | | | | | |
|
|
|