Lehrveranstaltungen (Archiv)

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) n.V. n.V.
Desaster in der Software-Sicherheit Proseminar (PS) Geb. 50.34, Raum 236 21.10.2015, 13.00 - 14.00 Uhr
Sommersemester 2015
Titel Typ Ort Zeit
Anwendung Formaler Verifikation Vorlesung (V) Geb. 50.34, Raum 236 Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) n.V. n.V.
Desaster in der Software-Sicherheit Proseminar (PS) Geb. 50.34, Raum 131 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) n.V. n.V.
Desaster in der Software-Sicherheit Proseminar (PS) Geb. 50.34, Raum 236 22.10.2014, 13.00 - 14.00 Uhr
Praxis der Software-Entwicklung (PSE) Praktikum (P) Geb. 50.34, Raum 211 wöchentlich, n.V.
Sommersemester 2014
Titel Typ Ort Zeit
Usability von Entwicklerwerkzeugen Projektgruppe (Pg) n.V. n.V.
Automated Software Privacy Analysis Projektgruppe (Pg) n.V. n.V.
Desaster in der Software-Sicherheit Proseminar (PS) Geb. 50.34, Raum 236 22.04.2014, 13.00 - 14.00 Uhr
Wintersemester 2013/2014
Titel Typ Ort Zeit
Hybrid Systems Verification Projektgruppe (Pg) Geb. 50.34, Raum 211 n.V.
Verifying Component-Based Security Projektgruppe (Pg) Geb. 50.34, Raum 211 n.V.
Formale Methoden der Softwareentwicklung Projektgruppe (Pg) Geb. 50.34, Raum 211 n.V.
Formale Analyse von Wahlverfahren Proseminar (PS) Geb. 50.34, Raum 236 23.10.2013, 13:00 - 14:00 Uhr
Praxis der Softwareentwicklung Praktikum (P) Geb. 50.34, Raum 211 wöchentlich, n.V.
Sommersemester 2013
Titel Typ Ort Zeit
Anwendung formaler Verifikation mit Übung Vorlesung (V) Geb. 50.34, Raum 236
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
Formale Methoden der Softwareentwicklung:
Regression Verification
Projektgruppe (Pg) Geb. 50.34, Raum 211 n.V.
Wintersemester 2012/13
Titel Typ Ort Zeit
Formale Methoden der Softwareentwicklung:
Regression Verification
Projektgruppe (Pg) Geb. 50.34, Raum 211 n.V.
Formale Entwicklung objektorientierter Software Praktikum (P) Bei Vorlesungsterminen
Geb. 50.34, Raum 301;
Bei Meetings und Präsentationen
der Studierenden
Geb. 50.34, Raum 211
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)
Software-Entwicklung 3 Praktikum (P) Geb. 50.34, Raum 211 wöchentlich, n.V.
Sommersemester 2012
Titel Typ Ort Zeit
Anwendung formaler Verifikation mit Übung Vorlesung (V) Geb. 50.34, Raum 236 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) Geb. 50.34, Raum 236 Blockveranstaltung am
Semesterende
Praxis der Software-Entwicklung (PSE) Praktikum (P) Geb. 50.34, Raum 211 wöchentlich, n.V.
Wintersemester 2011/12
Titel Typ Ort Zeit
Formale Systeme und Methoden Seminar (S) Geb. 50.34, Raum -120 Blockveranstaltung am
Semesterende
Formale Entwicklung objektorientierter Software Praktikum (P) Geb. 50.34, Raum 211 Dienstag, 17.30 - 19.00 Uhr
Software-Entwicklung 3 Praktikum (P) n.V. wöchentlich, n.V.
Sommersemester 2011
Titel Typ Ort Zeit
Anwendung formaler Verifikation mit Übung Vorlesung (V) Geb. 50.34, Raum 236 Donnerstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Formal Methods: Best of 2010 Seminar (S) Geb. 50.34, Raum 131 Blockveranstaltung am
Semesterende
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
Software-Entwicklung 3 Praktikum (P) Geb. 50.34, Raum 211 wöchentlich, n.V.
Sommersemester 2010
Titel Typ Ort Zeit
Anwendung formaler Verifikation mit Übung Vorlesung (V) Geb. 50.34, Raum 236 Donnerstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Formale Programmentwicklung Seminar (S) Geb. 50.34, Raum 301 21.4.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
Software-Entwicklung 3 Praktikum (P) Geb. 50.34, Raum 211 wöchentlich, n.V.