Studium und Lehre
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Research Seminar | Institutsseminar | Raum 301/236 (W/S), Geb. 50.34 | Donnerstag, 15.45 - 17.15 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Sommersemester | Überblick | Siehe Webseite | Siehe Webseite |
| Wintersemester | Überblick | Siehe Webseite | Siehe Webseite |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme | Vorlesung (V) | Raum -101, Geb. 50.34 (do.) Gaede-Hörsaal (Geb. 30.22) (fr.) |
Donnerstag, 14.00 - 15.30 Uhr Freitag, 11.30 - 13.00 Uhr |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 252, Geb. 50.34 | 23.10.2024, 11.30 - 13.00 Uhr |
| Neuronale Netze in Formaler Verifikation | Seminar (S) | Raum 201, Geb. 50.34 | 23.10.2024, 13.00 - 14.00 Uhr |
| Forschungspraktikum zu Formale Systeme |
Praktikum (P) | Nach Vereinbarung | Siehe Vorlesung |
| 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 |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 252, Geb. 50.34 | 17.04.2024, 11.30 - 13.15 Uhr |
| Formal System Engineering | Proseminar (PS) | Raum 236, Geb. 50.34 | 22.04.2024, 13.05 - 13.55 Uhr |
| Anwendung Formaler Verifikation | Seminar (S) | Nach Vereinbarung | Nach Vereinbarung |
| E-Voting | Seminar (S) | Raum 3A-11.1, Geb. 05.20 | 26.04.2024, 14.00 - 15.30 Uhr |
| Forschungspraktikum zu Formale Systeme II: Theorie |
Praktikum (P) | Nach Vereinbarung | Siehe Vorlesung |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme | Vorlesung (V) | Raum -101, Geb. 50.34 (do.) Gaede-Hörsaal (Geb. 30.22) (fr.) |
Donnerstag, 14.00 - 15.30 Uhr Freitag, 11.30 - 13.00 Uhr |
| Fachdidaktik 2 | Vorlesung (V) | Raum 1, Geb. 50.28 | 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 010, Geb. 50.34 | 25.10.2023, 11.30 - 13.15 Uhr |
| Formal System Engineering | Proseminar (PS) | Raum 236, Geb. 50.34 | 27.10.2023, 13:00 - 14:00 Uhr |
| Didaktik der Informatik | Proseminar (PS) | Raum 348, Geb. 50.34 | 25.10.2023, 13.00 - 14.00 Uhr |
| Anwendung Formaler Verifikation | Seminar (S) | Nach Vereinbarung | Nach Vereinbarung |
| Forschungspraktikum zu Formale Systeme |
Praktikum (P) | Nach Vereinbarung | Siehe Vorlesung |
| Praxis der Softwareentwicklung (PSE) | Praktikum (P) | Raum 1.1.24, FZI | 08.11.2023, 14.00 - 15.00 Uhr |
| Teamprojekt Lehramt | Praktikum (P) | Raum 1, Geb. 50.28 | 25.10.2023, 17.30 - 19.00 Uhr |
| 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 |
| Differentiable Programming | Proseminar (PS) | Raum 301, Geb. 50.34 | 18.04.2023, 15.45 - 17.15 Uhr |
| Anwendung Formaler Verifikation | Seminar (S) | Nach Vereinbarung | Nach Vereinbarung |
| 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) | Nach Vereinbarung | Siehe Vorlesung |
Frühere Semester / Archiv
Abschlussarbeiten
Eine Übersicht der Themen in denen wir Abschlussarbeiten anbieten findet sich unter Abschlussarbeiten.