Sorry, this page is not available in English.
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Research Seminar | Institutsseminar | Online | Donnerstag, 16.00 - 17.30 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme II: Theorie | Vorlesung (V) | Raum 236, Gebäude 50.34 | Dienstag, 11.30 - 13.00 Uhr Freitag, 11.30 - 13.00 Uhr |
| Fachdidaktik 1 | Vorlesung (V) | Raum -142, Gebäude 50.34 | Mittwoch, 17.30 - 19.00 Uhr Donnerstag, 17.30 - 19.00 Uhr (Blockseminare) |
| Fachdidaktik 3 | Vorlesung (V) | Raum -108, Gebäude 50.34 | Dienstag, 13.00 - 15.45 Uhr Mittwoch, 13.00 - 16.00 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum -102, Gebäude 50.34 | 20.04.2022, 11.30 - 13.15 Uhr |
| Anwendung Formaler Verifikation | Seminar (S) | n.V. | n.V. |
| E-Voting | Seminar (S) | Raum 3A-11.1, Gebäude 05.20 | 20.04.2022, 15.45 - 17.30 Uhr |
| Forschungspraktikum zu Formale Systeme II: Theorie |
Praktikum (P) | n.V. | Siehe Vorlesung |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme | Vorlesung (V) | Gaede-Hörsaal (Geb. 30.22) | Donnerstag, 14.00 - 15.30 Uhr Freitag, 12.00 - 13.30 Uhr |
| Fachdidaktik 2 | Vorlesung (V) | Raum -143, Gebäude 50.34 | Mittwoch, 18.00 - 19.30 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Informatik-Bibliothek, Geb. 50.34 | 21.10.2021, 12.00 - 13.45 Uhr |
| Anwendung Formaler Methoden | Seminar (S) | Raum 201, Geb. 50.34 | Nach Vereinbarung |
| Teamprojekt Lehramt | Praktikum (P) | Raum -143, Gebäude 50.34 | 20.10.2021, 18.00 - 19.30 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme II: Anwendung | Vorlesung (V) | Online | Dienstag, 12.00 - 13.30 Uhr Freitag, 12.00 - 13.30 Uhr |
| Fachdidaktik 1 | Vorlesung (V) | Online | Mittwoch, 18.00 - 19.30 Uhr Donnerstag, 18.00 - 19.30 Uhr (Blockseminare) |
| Fachdidaktik 3 | Vorlesung (V) | Online | Donnerstag, 14.00 - 17.00 Uhr Mittwoch, 14.00 - 17.00 Uhr (Blockseminare) |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Online | 14.04.2021, 12.00 - 13.45 Uhr |
| Anwendung Formaler Methoden | Seminar (S) | Online | Nach Vereinbarung |
| Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik |
Seminar (S) | Online | 05.05.2021, 10.00 - 11.30 Uhr |
| Forschungspraktikum zu Formale Systeme II: Anwendung |
Praktikum (P) | Online | Siehe Vorlesung |
| Praxis der Softwareentwicklung (PSE) | Praktikum (P) | Online | 28.04.2021, 15.00 - 16.00 Uhr |