Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Lehrveranstaltungen (Archiv)

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. 50.34 18.10.2017, 13:00 - 14:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Geb. 50.34 Montag, 15:45 - 17:15 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 211, Geb. 50.34 Mittwoch, 15:45 - 17:15 Uhr
Sommersemester 2017
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
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum -101, Geb. 50.34 25.04.2016, 13:00 - 14:00 Uhr
Deduktive Software-Verifikation – Das KeY-Buch Proseminar (PS) Raum 236, Geb. 50.34 02.05.2016, 13:00 - 14:00 Uhr
Deduktive Software-Verifikation –
Von der Theorie zur Anwendung
Seminar (S) Raum 236, Geb. 50.34 02.05.2016, 13:00 - 14:00 Uhr
Informatik trifft Philosophie –
die Zukunft von KI
Seminar (S) Raum 010, Geb. 50.34
Blöcke in Raum 252
27.04.2017, 12:15 - 13:45 Uhr
Blöcke montags, 9:45 - 13:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Geb. 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. 50.34 17.10.2016, 13:00 - 14:00 Uhr
Praxis der Softwareentwicklung (PSE) – PLC Praktikum (P) Raum 211, Geb. 50.34 Mittwoch, 11:30 - 13:00 Uhr
Praxis der Softwareentwicklung (PSE) – Voting Praktikum (P) Raum 201, Geb. 50.34 Mittwoch, 11:30 - 13:00 Uhr
Sommersemester 2016
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 236, Geb. 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. 50.34 20.04.2016, 13:00 - 14:00 Uhr
Wintersemester 2015/16
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 301, Geb. 50.34 20.10.2015, 13:00 - 14:00 Uhr
Desaster in der Software-Sicherheit Proseminar (PS) Raum 236, Geb. 50.34 21.10.2015, 13:00 - 14:00 Uhr
Sommersemester 2015
Titel Typ Ort Zeit
Anwendung Formaler Verifikation 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 301, Geb. 50.34 16.04.2015, 13:00 - 14:00 Uhr
Desaster in der Software-Sicherheit Proseminar (PS) Raum 131, Geb. 50.34 15.04.2015, 13:00 - 14:00 Uhr
Wintersemester 2014/15
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 301, Geb. 50.34 21.10.2014, 13:00 - 14:00 Uhr
Desaster in der Software-Sicherheit Proseminar (PS) Raum 236, Geb. 50.34 22.10.2014, 13:00 - 14:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 301, Geb. 50.34 05.11.2014, 11:30 - 13:00 Uhr
Sommersemester 2014
Titel Typ Ort Zeit
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 301, Geb. 50.34 15.04.2014, 13:00 - 14:00 Uhr
Usability von Entwicklerwerkzeugen (PdF) Projektgruppe (Pg) n.V. n.V.
Automated Software Privacy Analysis (PdF) Projektgruppe (Pg) Raum 333, Geb. 50.34 24.04.2014, 14:00 - 15:30 Uhr
Desaster in der Software-Sicherheit Proseminar (PS) Raum 236, Geb. 50.34 22.04.2014, 13:00 - 14:00 Uhr
Wintersemester 2013/14
Titel Typ Ort Zeit
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 301, Geb. 50.34 22.10.2013, 13:00 - 14:00 Uhr
Hybrid Systems Verification (PdF) Projektgruppe (Pg) Raum 211, Geb. 50.34 n.V.
Verifying Component-Based Security (PdF) Projektgruppe (Pg) Raum 211, Geb. 50.34 n.V.
Formale Methoden der Softwareentwicklung (PdF) Projektgruppe (Pg) Raum 211, Geb. 50.34 n.V.
Formale Analyse von Wahlverfahren Proseminar (PS) Raum 236, Geb. 50.34 23.10.2013, 13:00 - 14:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 301, Geb. 50.34 30.10.2013, 11:30 - 13:00 Uhr
Sommersemester 2013
Titel Typ Ort Zeit
Anwendung formaler Verifikation mit Übung Vorlesung (V) Raum 236, Geb. 50.34
18.04.2013, 11:30 - 13:00 Uhr


19.04.2013, 11:30 - 13:00 Uhr

25.04.2013, 11:30 - 13:00 Uhr

26.04.2013, 11:30 - 13:00 Uhr

02.05.2013, 11:30 - 13:00 Uhr

03.05.2013, 11:30 - 13:00 Uhr

10.05.2013, 11:30 - 13:00 Uhr

16.05.2013, 11:30 - 13:00 Uhr

17.05.2013, 11:30 - 13:00 Uhr

23.05.2013, 11:30 - 13:00 Uhr

24.05.2013, 11:30 - 13:00 Uhr

31.05.2013, 11:30 - 13:00 Uhr

06.06.2013, 11:30 - 13:00 Uhr

07.06.2013, 11:30 - 13:00 Uhr

13.06.2013, 11:30 - 13:00 Uhr

14.06.2013, 11:30 - 13:00 Uhr

20.06.2013, 11:30 - 13:00 Uhr

21.06.2013, 11:30 - 13:00 Uhr

27.06.2013, 11:30 - 13:00 Uhr

28.06.2013, 11:30 - 13:00 Uhr

04.07.2013, 11:30 - 13:00 Uhr

05.07.2013, 11:30 - 13:00 Uhr

11.07.2013, 11:30 - 13:00 Uhr

12.07.2013, 11:30 - 13:00 Uhr

18.07.2013, 11:30 - 13:00 Uhr

19.07.2013, 11:30 - 13:00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 301, Geb. 50.34 12.04.2013, 13:00 - 14:00 Uhr
Formale Methoden der Softwareentwicklung:
Regression Verification (PdF)
Projektgruppe (Pg) Raum 211, Geb. 50.34 n.V.
Wintersemester 2012/13
Titel Typ Ort Zeit
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum -102, Geb. 50.34 18.10.2012, 13:15 - 14:00 Uhr
Formale Methoden der Softwareentwicklung:
Regression Verification (PdF)
Projektgruppe (Pg) Raum 211, Geb. 50.34 Montag, 14:00 - 15:30 Uhr
Donnerstag, 15:45 - 17:15 Uhr
Formale Entwicklung objektorientierter Software Praktikum (P) Bei Vorlesungsterminen
Raum 301, Geb. 50.34;
Bei Meetings und Präsentationen
der Studierenden
Raum 211, Geb. 50.34
Mittwoch, 17:30 - 19:00 Uhr;
Bei Präsentationen der
Studierenden:
Gruppe 1: 17:30 - 18:00 Uhr,
Gruppe 2: 18:00 - 18:30 Uhr,
Gruppe 3: 18:30 - 19:00 Uhr
(Die Gruppen können die
Reihenfolge untereinander
ausmachen)
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum -109, Geb. 50.34 24.10.2012, 11:30 - 13:00 Uhr
Sommersemester 2012
Titel Typ Ort Zeit
Anwendung formaler Verifikation mit Übung Vorlesung (V) Raum 236, Geb. 50.34 19.04.2012, 11:30 - 13:00 Uhr


20.04.2012, 11:30 - 13:00 Uhr

26.04.2012, 11:30 - 13:00 Uhr

27.04.2012, 11:30 - 13:00 Uhr

03.05.2012, 11:30 - 13:00 Uhr

04.05.2012, 11:30 - 13:00 Uhr

10.05.2012, 11:30 - 13:00 Uhr

11.05.2012, 11:30 - 13:00 Uhr

18.05.2012, 11:30 - 13:00 Uhr

24.05.2012, 11:30 - 13:00 Uhr

25.05.2012, 11:30 - 13:00 Uhr

31.05.2012, 11:30 - 13:00 Uhr

01.06.2012, 11:30 - 13:00 Uhr

08.06.2012, 11:30 - 13:00 Uhr

14.06.2012, 11:30 - 13:00 Uhr

15.06.2012, 11:30 - 13:00 Uhr

21.06.2012, 11:30 - 13:00 Uhr

22.06.2012, 11:30- 13:00 Uhr

28.06.2012, 11:30 - 13:00 Uhr

29.06.2012, 11:30 - 13:00 Uhr

05.07.2012, 11:30 - 13:00 Uhr

06.07.2012, 11:30 - 13:00 Uhr

12.07.2012, 11:30 - 13:00 Uhr

13.07.2012, 11:30- 13:00 Uhr

19.07.2012, 11:30 - 13:00 Uhr

20.07.2012, 11:30 - 13:00 Uhr
Formale Methoden für Software-Sicherheit Seminar (S) Raum 236, Geb. 50.34 25.04.2012, 13:15 - 14:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum -120, Geb. 50.34 25.04.2012, 15:00 - 16:30 Uhr
Wintersemester 2011/12
Titel Typ Ort Zeit
Formale Systeme und Methoden Seminar (S) Raum -120, Geb. 50.34 10.02.2012, 14:00 - 16:30 Uhr
Formale Entwicklung objektorientierter Software Praktikum (P) Raum 211, Geb. 50.34 Dienstag, 17:30 - 19:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Geb. 50.34 25.10.2011, 15:45 - 17:15 Uhr
Sommersemester 2011
Titel Typ Ort Zeit
Anwendung formaler Verifikation mit Übung Vorlesung (V) Raum 236, Geb. 50.34 Donnerstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Formal Methods: Best of 2010 Seminar (S) Raum 131, Geb. 50.34 13.04.2011, 13:15 - 14:00 Uhr
Wintersemester 2010/11
Titel Typ Ort Zeit
Formale Systeme Vorlesung / Übung (VÜ) Gaede-Hörsaal (Geb. 30.22) Donnerstag, 14:00 - 15:30 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Geb. 50.34 03.11.2010, 15:45 - 17:15 Uhr
Sommersemester 2010
Titel Typ Ort Zeit
Anwendung formaler Verifikation mit Übung Vorlesung (V) Raum 236, Geb. 50.34 Donnerstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Formale Programmentwicklung Seminar (S) Raum 301, Geb. 50.34 21.04.2010, 13:00 - 14:00 Uhr
Wintersemester 2009/10
Titel Typ Ort Zeit
Formale Systeme mit Übung Vorlesung / Übung (VÜ) Gaede-Hörsaal (Geb. 30.22) Donnerstag, 14:00 - 15:30 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 131, Geb. 50.34 06.11.2009, 15:45 - 17:15 Uhr
Wintersemester 2008/09
Titel Typ Ort Zeit
Formale Systeme mit Übung Vorlesung / Übung (VÜ) Gaede-Hörsaal (Geb. 30.22) Donnerstag, 14:00 - 15:30 Uhr
Freitag, 11:30 - 13:00 Uhr