| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Research Seminar | Institutsseminar | Raum 236, Geb. 50.34 + Virtuell | Donnerstag, 15.45 - 17.15 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Meet 'n' Prove | Veranstaltung | Raum 236, Geb. 50.34 | 27.04.2023, ab 15.45 Uhr |
| Sommersemester | Überblick | Siehe Webseite | Siehe Webseite |
| Wintersemester | Überblick | Siehe Webseite | Siehe Webseite |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme II: Anwendung | 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 211, Geb. 50.34 | Donnerstag, 14:30 - 18:00 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 301, Geb. 50.34 | 20.04.2023, 14.00 - 15.30 Uhr |
| Anwendung Formaler Verifikation | Seminar (S) | n.V. | n.V. |
| Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik |
Seminar (S) | Raum 010, Geb. 50.34 | 27.04.2023, 11.30 - 13.00 Uhr |
| Forschungspraktikum zu Formale Systeme II: Anwendung |
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, 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 |
Frühere Semester / Archiv
Abschlussarbeiten
Eine Übersicht der Themen in denen wir Abschlussarbeiten anbieten findet sich unter Abschlussarbeiten.