| Mo
15.11.2021 | Di
16.11.2021 | Mi
17.11.2021 | Do
18.11.2021 | Fr
19.11.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 | | | Grundkurs I | | Wandusim |
| |
| 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 | | | | | |
|---|
|
|
|