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 | Vorlesung (V) | Präsenz | Donnerstag, 14.00 - 15.30 Uhr Freitag, 12.00 - 13.30 Uhr |
| Fachdidaktik 2 | Vorlesung (V) | Online | Mittwoch, 18.00 - 19.30 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Online / Präsenz | wird bekannt gegeben |
| Anwendung Formaler Methoden | Seminar (S) | Online | Nach Vereinbarung |
| Teamprojekt Lehramt | Praktikum (P) | Online (ggf. Präsenz) | Nach Vereinbarung |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme II: Anwendung | Vorlesung (V) | Online | Dienstag, 12.00 - 13.30 Uhr Freitag, 12.00 - 13.30 Uhr |
| Fachdidaktik Informatik I | Vorlesung (V) | Online | Mittwoch, 18.00 - 19.30 Uhr Donnerstag, 18.00 - 19.30 Uhr (Blockseminare) |
| Fachdidaktik Informatik III | 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) – Interaktiver Theorembeweiser für SMT | Praktikum (P) | Online | 28.04.2021, 15.00 - 16.00 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme | Vorlesung (V) | Online | Donnerstag, 14.00 - 15.30 Uhr Freitag, 12.00 - 13.30 Uhr |
| Fachdidaktik 2 | Vorlesung (V) | Online | Mittwoch, 18.00 - 19.30 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Online / Präsenz | 03.11.2020, 12.00 - 13.45 Uhr |
| Anwendung Formaler Methoden | Seminar (S) | Online | Nach Vereinbarung |
| Forschungspraktikum zu Formale Systeme | Praktikum (P) | Online | Siehe Vorlesung |
| Praxis der Softwareentwicklung (PSE) | Praktikum (P) | Online | 05.11.2019, 16.00 - 17.30 Uhr |
| Teamprojekt Lehramt | Praktikum (P) | Online | 04.11.2020, 17.00 - 18.00 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme II: Theorie | Vorlesung (V) | Online | Dienstag, 11.30 - 13.00 Uhr Freitag, 11.30 - 13.00 Uhr |
| Fachdidaktik 1 | Vorlesung (V) | Online | Mittwoch, 17.30 - 19.00 Uhr Donnerstag, 17.30 - 19.00 Uhr |
| Fachdidaktik 3 | Vorlesung (V) | Online | Dienstag, 13.00 - 16.00 Uhr Mittwoch, 13.00 - 16.00 Uhr (Blockseminare) |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Online | 21.04.2020, 13.15 - 13.45 Uhr |
| Anwendung Formaler Methoden | Seminar (S) | Online | 27.04.2020, 14.00 - 15.30 Uhr |
| E-Voting | Seminar (S) | Online | 29.04.2020, 12.30 - 14.00 Uhr |
| Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik |
Seminar (S) | Online | 20.04.2020, 14.00 - 15.30 Uhr |
| Forschungspraktikum zu Formale Systeme II: Theorie | Praktikum (P) | Online | Siehe Vorlesung |
| Praxis der Softwareentwicklung (PSE) | Praktikum (P) | Online | 05.05.2020, 13.00 - 14.00 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äude 50.34 | Mittwoch, 17.30 - 19.00 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 236, Gebäude 50.34 | 16.10.2019, 13:15 - 13:45 Uhr |
| Anwendung Formaler Methoden | Seminar (S) | Raum 211, Gebäude 50.34 | 23.10.2019, 14.00 - 15.30 Uhr |
| Praxis der Softwareentwicklung (PSE) | Praktikum (P) | Raum 211, Gebäude 50.34 | 04.11.2019, 13.00 - 14.00 Uhr |
| Teamprojekt Lehramt | Praktikum (P) | Raum 211, Gebäude 50.34 | 16.10.2019, 13.00 - 14.00 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme II: Anwendung | 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 -143, Gebäude 50.34 | Mittwoch, 17.30 - 19.00 Uhr |
| Fachdidaktik 3 | Vorlesung (V) | Raum 211, Gebäude 50.34 | Mittwoch, 14.00 - 19.00 Uhr (Blockseminare) |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 131, Gebäude 50.34 | 24.04.2019, 13.15 - 13.45 Uhr |
| Formale Methoden und Maschinelles Lernen | Proseminar (PS) | Raum 236, Gebäude 50.34 | 25.04.2019, 13.00 - 14.00 Uhr |
| Anwendung Formaler Methoden | Seminar (S) | Raum 236, Gebäude 50.34 | 23.04.2019, 13.00 - 14.00 Uhr |
| Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik |
Seminar (S) | Raum 110, Gebäude 30.91 | 24.04.2019, 11.30 - 13.00 Uhr |
| Praxis der Softwareentwicklung (PSE) – DAQ | Praktikum (P) | Raum 211, Gebäude 50.34 | Dienstag, 08.20 - 09.40 Uhr |
| Praxis der Softwareentwicklung (PSE) – SQL | Praktikum (P) | Raum 201, Gebäude 50.34 | Freitag, 08.20 - 09.40 Uhr |