Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT
Semesterübergreifend
Titel Typ Ort Zeit
Research Seminar Institutsseminar Raum 301, Gebäude 50.34 Donnerstag, 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 27.04.2018, 13:00 - 14:00 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 02.11.2017, 13:00 - 14:00 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 211, Gebäude 50.34 03.11.2017, 11:30 - 13:00 Uhr
Sommersemester 2017
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
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum -101, Gebäude 50.34 25.04.2017, 13:00 - 14:00 Uhr
Deduktive Software-Verifikation – Das KeY-Buch Proseminar (PS) Raum 236, Gebäude 50.34 02.05.2017, 13:00 - 14:00 Uhr
Deduktive Software-Verifikation –
Von der Theorie zur Anwendung
Seminar (S) Raum 236, Gebäude 50.34 02.05.2017, 13:00 - 14:00 Uhr
Computer Science meets Philosophy –
the Future of AI
Seminar (S) Raum 010, Gebäude 50.34
(Blöcke in Raum 252)
27.04.2017, 12:15 - 13:45 Uhr
(Blöcke montags, 9:45 - 13:00)
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Gebäude 50.34 15.05.2017, 13:00 - 14:00 Uhr
Wintersemester 2016/17
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 -102, Gebäude 50.34 17.10.2016, 13:00 - 14:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Räume 201 u. 211, Gebäude 50.34 Mittwoch, 11:30 - 13:00 Uhr
Sommersemester 2016
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 19.04.2016, 13:00 - 14:00 Uhr
Desaster in der Software-Sicherheit:
Können formale Methoden helfen?
Proseminar (PS) Raum 131, Gebäude 50.34 20.04.2016, 13:00 - 14:00 Uhr

Frühere Semester / Archiv

Abschlussarbeiten

Eine Übersicht der Themen in denen wir Abschlussarbeiten anbieten findet sich unter Abschlussarbeiten.