Sorry, this page is not available in English.
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Research Seminar | Institutsseminar | Raum 301, Gebäude 50.34 | Donnerstag, 15:45 - 17:15 Uhr |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Formale Systeme II: Theorie | Vorlesung (V) | Online (s. Webseite) | Dienstag, 11:30 - 13:00 Uhr Freitag, 11:30 - 13:00 Uhr |
| Fachdidaktik 1 | Vorlesung (V) | Online (s. Webseite) | Mittwoch, 17:30 - 19:00 Uhr Donnerstag, 17:30 - 19:00 Uhr |
| Fachdidaktik 3 | Vorlesung (V) | Online (s. Webseite) | Dienstag, 13:00 - 16:00 Uhr Mittwoch, 13:00 - 16:00 Uhr (Blockseminare) |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Online (s. Webseite) | 21.04.2020, 13:15 - 13:45 Uhr |
| Anwendung Formaler Methoden | Seminar (S) | Online (s. Webseite) | 27.04.2020, 14:00 - 15:30 Uhr |
| E-Voting | Seminar (S) | Online (s. Webseite) | 29.04.2020, 12:30 - 14:00 Uhr |
| Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik |
Seminar (S) | Online (s. Webseite) | 20.04.2020, 14:00 - 15:30 Uhr |
| Praxis der Softwareentwicklung (PSE) | Praktikum (P) | Online (s. Webseite) | 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 |
| 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 |
| Praxis der Forschung (PdF) | Projektgruppe (Pg) | Raum 236, Gebäude 50.34 | 16.10.2018, 13:15 - 13:45 Uhr |
| Anwendung Formaler Verifikation | Seminar (S) | Raum 211, Gebäude 50.34 | 18.10.2018, 13:00 - 14:00 Uhr |
| Teamprojekt Lehramt | Praktikum (P) | Raum 236, Gebäude 50.34 | Mittwoch, 15:45 - 17:15 Uhr |
Frühere Semester / Archiv
Abschlussarbeiten
Eine Übersicht der Themen in denen wir Abschlussarbeiten anbieten findet sich unter Abschlussarbeiten.