Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Studium und Lehre
Archiv

Lehrveranstaltungen (Archiv)

Wintersemester 2022/23
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. 50.34 Mittwoch, 17.30 - 19.00 Uhr
Einführung ins Quantencomputing (IQC) Vorlesung (V) Raum -102, Geb. 50.34 Montag, 17.30 - 19.00 Uhr
Grundbegriffe der Informatik Vorlesung / Übung (VÜ) Audimax-Hörsaal (Geb. 30.95)
Raum -101, Geb. 50.34
Raum -102, Geb. 50.34 (mi.)		 Mittwoch, 09.45 - 11.15 Uhr
Freitag, 09.45 - 11.15 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 301, Geb. 50.34 26.10.2022, 11.30 - 13.15 Uhr
Anwendung Formaler Verifikation Seminar (S) Raum 236, Geb. 50.34 Nach Vereinbarung
Forschungspraktikum zu
Formale Systeme		 Praktikum (P) Nach Vereinbarung Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Geb. 50.34 07.11.2022, 14.00 - 15.00 Uhr
07.11.2022, 15.00 - 16.00 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 131, Geb. 50.34 26.10.2022, 17.30 - 19.00 Uhr
Sommersemester 2022
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
Fachdidaktik 1 Vorlesung (V) Raum -142, Geb. 50.34 Mittwoch, 17.30 - 19.00 Uhr
Donnerstag, 17.30 - 19.00 Uhr
(Blockseminare)
Fachdidaktik 3 Vorlesung (V) Raum -108, Geb. 50.34 Dienstag, 13.00 - 15.45 Uhr
Mittwoch, 13.00 - 16.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum -102, Geb. 50.34 20.04.2022, 11.30 - 13.15 Uhr
Anwendung Formaler Verifikation Seminar (S) Nach Vereinbarung Nach Vereinbarung
E-Voting Seminar (S) Raum 3A-11.1, Geb. 05.20 20.04.2022, 15.45 - 17.30 Uhr
Forschungspraktikum zu
Formale Systeme II: Theorie		 Praktikum (P) Nach Vereinbarung Siehe Vorlesung
Wintersemester 2021/22
Titel Typ Ort Zeit
Formale Systeme Vorlesung (V) Gaede-Hörsaal (Geb. 30.22) Donnerstag, 14.00 - 15.30 Uhr
Freitag, 12.00 - 13.30 Uhr
Fachdidaktik 2 Vorlesung (V) Raum -143, Geb. 50.34 Mittwoch, 18.00 - 19.30 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Informatik-Bibliothek, Geb. 50.34 21.10.2021, 12.00 - 13.45 Uhr
Anwendung Formaler Verifikation Seminar (S) Raum 201, Geb. 50.34 Nach Vereinbarung
Teamprojekt Lehramt Praktikum (P) Raum -143, Geb. 50.34 20.10.2021, 18.00 - 19.30 Uhr
Sommersemester 2021
Titel Typ Ort Zeit
Formale Systeme II: Anwendung Vorlesung (V) Online Dienstag, 12.00 - 13.30 Uhr
Freitag, 12.00 - 13.30 Uhr
Fachdidaktik 1 Vorlesung (V) Online Mittwoch, 18.00 - 19.30 Uhr
Donnerstag, 18.00 - 19.30 Uhr
Fachdidaktik 3 Vorlesung (V) Online Donnerstag, 14.00 - 17.00 Uhr
Mittwoch, 14.00 - 17.00 Uhr
(Blockseminare)
Praxis der Forschung (PdF) Projektgruppe (Pg) Online 14.04.2021, 12.00 - 13.45 Uhr
Anwendung Formaler Verifikation Seminar (S) Online Nach Vereinbarung
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik 		Seminar (S) Online 05.05.2021, 10.00 - 11.30 Uhr
Forschungspraktikum zu
Formale Systeme II: Anwendung 		Praktikum (P) Online Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) Praktikum (P) Online 28.04.2021, 15.00 - 16.00 Uhr
Wintersemester 2020/21
Titel Typ Ort Zeit
Formale Systeme Vorlesung (V) Online Donnerstag, 14.00 - 15.30 Uhr
Freitag, 12.00 - 13.30 Uhr
Fachdidaktik 2 Vorlesung (V) Online Mittwoch, 18.00 - 19.30 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Online 03.11.2020, 12.00 - 13.45 Uhr
Anwendung Formaler Verifikation Seminar (S) Online Nach Vereinbarung
Forschungspraktikum zu
Formale Systeme 		Seminar (S) Online Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) – Klassenbuch Praktikum (P) Online Nach Vereinbarung
Praxis der Softwareentwicklung (PSE) – Netze Praktikum (P) Online Nach Vereinbarung
Teamprojekt Lehramt Praktikum (P) Online 04.11.2020, 17.00 - 18.00 Uhr
Sommersemester 2020
Titel Typ Ort Zeit
Formale Systeme II: Theorie Vorlesung (V) Online Dienstag, 11.30 - 13.00 Uhr
Freitag, 11.30 - 13.00 Uhr
Fachdidaktik 1 Vorlesung (V) Online Mittwoch, 17.30 - 19.00 Uhr
Donnerstag, 17.30 - 19.00 Uhr
Fachdidaktik 3 Vorlesung (V) Online Dienstag, 13.00 - 16.00 Uhr
Mittwoch, 13.00 - 16.00 Uhr
(Blockseminare)
Praxis der Forschung (PdF) Projektgruppe (Pg) Online 21.04.2020, 13.15 - 13.45 Uhr
Anwendung Formaler Verifikation Seminar (S) Online 27.04.2020, 14.00 - 15.30 Uhr
E-Voting Seminar (S) Online 29.04.2020, 12.30 - 14.00 Uhr
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik 		Seminar (S) Online 20.04.2020, 14.00 - 15.30 Uhr
Forschungspraktikum zu
Formale Systeme II: Theorie 		Praktikum (P) Online Siehe Vorlesung
Praxis der Softwareentwicklung (PSE) Praktikum (P) Online 05.05.2020, 13.00 - 14.00 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
Fachdidaktik 2 Vorlesung (V) Raum -143, Geb. 50.34 Mittwoch, 17.30 - 19.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 236, Geb. 50.34 16.10.2019, 13.15 - 13.45 Uhr
Anwendung Formaler Verifikation Seminar (S) Raum 211, Geb. 50.34 23.10.2019, 14.00 - 15.30 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Geb. 50.34 04.11.2019, 13.00 - 14.00 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 211, Geb. 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. 50.34 Dienstag, 11.30 - 13.00 Uhr
Freitag, 11.30 - 13.00 Uhr
Fachdidaktik 1 Vorlesung (V) Raum -143, Geb. 50.34 Mittwoch, 17.30 - 19.00 Uhr
Fachdidaktik 3 Vorlesung (V) Raum 211, Geb. 50.34 Mittwoch, 14.00 - 19.00 Uhr
(Blockseminare)
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 131, Geb. 50.34 24.04.2019, 13.15 - 13.45 Uhr
Formale Methoden und Maschinelles Lernen Proseminar (PS) Raum 236, Geb. 50.34 25.04.2019, 13.00 - 14.00 Uhr
Anwendung Formaler Verifikation Seminar (S) Raum 236, Geb. 50.34 23.04.2019, 13.00 - 14.00 Uhr
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik 		Seminar (S) Raum 110, Geb. 50.34 24.04.2019, 11.30 - 13.00 Uhr
Praxis der Softwareentwicklung (PSE) – DAQ Praktikum (P) Raum 211, Geb. 50.34 Dienstag, 08.20 - 09.40 Uhr
Praxis der Softwareentwicklung (PSE) – SQL Praktikum (P) Raum 201, Geb. 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
Fachdidaktik 2 Vorlesung (V) Raum -143, Geb. 50.34 Mittwoch, 17.30 - 19.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 236, Geb. 50.34 16.10.2018, 13.15 - 13.45 Uhr
Anwendung Formaler Verifikation Seminar (S) Raum 211, Geb. 50.34 18.10.2018, 13.00 - 14.00 Uhr
Teamprojekt Lehramt Praktikum (P) Raum 211, Geb. 50.34 Mittwoch, 15.45 - 17.15 Uhr
Sommersemester 2018
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
Fachdidaktik 1 Vorlesung (V) Raum -143, Geb. 50.34 Mittwoch, 17.30 - 19.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum 236, Geb. 50.34 17.04.2018, 13.15 - 13.45 Uhr
Praxis der Softwareentwicklung (PSE) Praktikum (P) Raum 211, Geb. 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
Fachdidaktik 2 Vorlesung (V) Raum -143, Geb. 50.34 Mittwoch, 17.30 - 19.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
Fachdidaktik 1 Vorlesung (V) Raum -143, Geb. 50.34 Mittwoch, 17.30 - 19.00 Uhr
Donnerstag, 17.30 - 19.00 Uhr
Praxis der Forschung (PdF) Projektgruppe (Pg) Raum -101, Geb. 50.34 25.04.2017, 13.00 - 14.00 Uhr
Deduktive Software-Verifikation – Das KeY-Buch Proseminar (PS) Raum 236, Geb. 50.34 02.05.2017, 13.00 - 14.00 Uhr
Deduktive Software-Verifikation –
Von der Theorie zur Anwendung 		Seminar (S) Raum 236, Geb. 50.34 02.05.2017, 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
Montag, 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) Nach Vereinbarung Nach Vereinbarung
Automatisierte Softwareprivatheitsanalyse (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
Hybride Systemverifikation (PdF) Projektgruppe (Pg) Raum 211, Geb. 50.34 Nach Vereinbarung
Verifizieren von Komponentenbasierter Sicherheit (PdF) Projektgruppe (Pg) Raum 211, Geb. 50.34 Nach Vereinbarung
Formale Methoden der Software Engineering (PdF) Projektgruppe (Pg) Raum 211, Geb. 50.34 Nach Vereinbarung
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:
Regressionsverifikation (PdF) 		Projektgruppe (Pg) Raum 211, Geb. 50.34 Nach Vereinbarung
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:
Regressionsverifikation (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

Studium und Lehre (aktuelles Semester)