Sorry, this page is not available in English.
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Research Seminar | Institutsseminar | Online | Donnerstag, 15.45 - 17.15 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme | Vorlesung (V) | Gaede-Hörsaal (Geb. 30.22) | Donnerstag, 14.00 - 15.30 Uhr Freitag, 11.30 - 13.00 Uhr |
| Fachdidaktik 2 | Vorlesung (V) | Raum -143, Geb. 50.34 | Mittwoch, 17.30 - 19.00 Uhr |
| Einführung ins Quantencomputing (IQC) | Vorlesung (V) | Raum -102, Geb. 50.34 | Montag, 17.30 - 19.00 Uhr |
| Grundbegriffe der Informatik | Vorlesung / Übung (VÜ) | Audimax-Hörsaal (Geb. 30.95) Raum -101, Geb. 50.34 Raum -102, Geb. 50.34 (mi.) |
Mittwoch, 09.45 - 11.15 Uhr Freitag, 09.45 - 11.15 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 301, Geb. 50.34 | 26.10.2022, 11.30 - 13.15 Uhr |
| Anwendung Formaler Methoden | Seminar (S) | Raum 236, Geb. 50.34 | Nach Vereinbarung |
| Forschungspraktikum zu Formale Systeme |
Praktikum (P) | n.V. | Siehe Vorlesung |
| Praxis der Softwareentwicklung (PSE) | Praktikum (P) | Raum 211, Geb. 50.34 | 07.11.2022, 14.00 - 15.00 Uhr 07.11.2022, 15.00 - 16.00 Uhr |
| Teamprojekt Lehramt | Praktikum (P) | Raum 131, Geb. 50.34 | 26.10.2022, 17.30 - 19.00 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme II: Theorie | Vorlesung (V) | Raum 236, Geb. 50.34 | Dienstag, 11.30 - 13.00 Uhr Freitag, 11.30 - 13.00 Uhr |
| Fachdidaktik 1 | Vorlesung (V) | Raum -142, Geb. 50.34 | Mittwoch, 17.30 - 19.00 Uhr Donnerstag, 17.30 - 19.00 Uhr (Blockseminare) |
| Fachdidaktik 3 | Vorlesung (V) | Raum -108, Geb. 50.34 | Dienstag, 13.00 - 15.45 Uhr Mittwoch, 13.00 - 16.00 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum -102, Geb. 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. 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. 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. 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 |