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