Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT
Sorry, this page is not available in English.
Semesterübergreifend
Titel Typ Ort Zeit
Research Seminar Institutsseminar Raum 301, Gebäude 50.34 Donnerstag, 15:45 - 17:15 Uhr
Wintersemester 2019/20
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
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
Sommersemester 2019
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 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
Wintersemester 2018/19
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
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
Sommersemester 2018
Titel Typ Ort Zeit
Formale Systeme II: Theorie Vorlesung (V) Raum 236, Gebäude 50.34 Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 236, Gebäude 50.34 17.04.2018, 13:15 - 13:45 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Gebäude 50.34 Freitag, 15:45 - 17:15 Uhr
Wintersemester 2017/18
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
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum -101, Gebäude 50.34 18.10.2017, 13:00 - 14:30 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Gebäude 50.34 Montag, 15:45 - 17:15 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 211, 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.