Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Teaching
Archive

Courses (Archive)

Winter Term 2020/21
Title Type Place Time
Formale Systeme Lecture Online Thursday, 14.00 - 15.30
Friday, 12.00 - 13.30
Fachdidaktik 2 Lecture Online Wednesday, 18.00 - 19.30
Praxis der Forschung (PdF) Team Project Online 03.11.2020, 12.00 - 13.45
Anwendung Formaler Methoden Seminar Online By arrangement
Forschungspraktikum zu Formale Systeme Seminar Online See lecture
Praxis der Softwareentwicklung (PSE) Laboratory Online By arrangement
Teamprojekt Lehramt Laboratory Online 04.11.2020, 17.00 - 18.00
Summer Term 2020
Title Type Place Time
Formale Systeme II: Theorie Lecture Online Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Fachdidaktik 1 Lecture Online Wednesday, 17.30 - 19.00
Thursday, 17.30 - 19.00
Fachdidaktik 3 Lecture Online Tuesday, 13.00 - 16.00
Wednesday, 13.00 - 16.00
(block seminars)
Praxis der Forschung (PdF) Team Project Online 21.04.2020, 13.15 - 13.45
Anwendung Formaler Methoden Seminar Online 27.04.2020, 14.00 - 15.30
E-Voting Seminar Online 29.04.2020, 12.30 - 14.00
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik		 Seminar Online 20.04.2020, 14.00 - 15.30
Forschungspraktikum zu Formale Systeme II: Theorie Laboratory Online See lecture
Praxis der Softwareentwicklung (PSE) Laboratory Online 05.05.2020, 13.00 - 14.00
Winter Term 2019/20
Title Type Place Time
Formale Systeme Lecture Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Fachdidaktik 2 Lecture Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Praxis der Forschung (PdF) Team Project Room 236, Bldg. 50.34 16.10.2019, 13.15 - 13.45
Anwendung Formaler Verifikation Seminar Room 211, Bldg. 50.34 23.10.2019, 14.00 - 15.30
Praxis der Softwareentwicklung (PSE) Laboratory Room 211, Bldg. 50.34 04.11.2019, 13.00 - 14.00
Teamprojekt Lehramt Laboratory Room 211, Bldg. 50.34 16.10.2019, 13.00 - 14.00
Summer Term 2019
Title Type Place Time
Formale Systeme II: Anwendung Lecture Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Fachdidaktik 1 Lecture Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Fachdidaktik 3 Lecture Room 211, Bldg. 50.34 Wednesday, 14.00 - 19.00
(block seminars)
Praxis der Forschung (PdF) Team Project Room 131, Bldg. 50.34 24.04.2019, 13.15 - 13.45
Formale Methoden und Maschinelles Lernen Proseminar Room 236, Bldg. 50.34 25.04.2019, 13.00 - 14.00
Anwendung Formaler Methoden Seminar Room 236, Bldg. 50.34 23.04.2019, 13.00 - 14.00
Fairness und Diskriminierungsfreiheit
aus Sicht von Ethik und Informatik		 Seminar Room 110, Bldg. 50.34 24.04.2019, 11.30 - 13.00
Praxis der Softwareentwicklung (PSE) – DAQ Laboratory Room 211, Bldg. 50.34 Tuesday, 08.20 - 09.40
Praxis der Softwareentwicklung (PSE) – SQL Laboratory Room 201, Bldg. 50.34 Friday, 08.20 - 09.40
Winter Term 2018/19
Title Type Place Time
Formale Systeme Lecture Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Fachdidaktik 2 Lecture Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Praxis der Forschung (PdF) Team Project Room 236, Bldg. 50.34 16.10.2018, 13.15 - 13.45
Anwendung Formaler Verifikation Seminar Room 211, Bldg. 50.34 18.10.2018, 13.00 - 14.00
Teamprojekt Lehramt Laboratory Room 211, Bldg. 50.34 Wednesday, 15.45 - 17.15
Summer Term 2018
Title Type Place Time
Formale Systeme II: Theorie Lecture Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Fachdidaktik 1 Lecture Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Praxis der Forschung (PdF) Team Project Room 236, Bldg. 50.34 17.04.2018, 13.15 - 13.45
Praxis der Softwareentwicklung (PSE) Laboratory Room 211, Bldg. 50.34 Friday, 15.45 - 17.15
Winter Term 2017/18
Title Type Place Time
Formale Systeme Lecture Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Fachdidaktik 2 Lecture Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Praxis der Forschung (PdF) Team Project Room -101, Bldg. 50.34 18.10.2017, 13.00 - 14.00
Praxis der Softwareentwicklung (PSE) Laboratory Room 211, Bldg. 50.34 Monday, 15.45 - 17.15
Teamprojekt Lehramt Laboratory Room 211, Bldg. 50.34 Wednesday, 15.45 - 17.15
Summer Term 2017
Title Type Place Time
Formale Systeme II: Anwendung Lecture Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Fachdidaktik 1 Lecture Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Thursday, 17.30 - 19.00
Praxis der Forschung (PdF) Team Project Room -101, Bldg. 50.34 25.04.2017, 13.00 - 14.00
Deduktive Software-Verifikation – Das KeY-Buch Proseminar Room 236, Bldg. 50.34 02.05.2017, 13.00 - 14.00
Deduktive Software-Verifikation –
Von der Theorie zur Anwendung		 Seminar Room 236, Bldg. 50.34 02.05.2017, 13.00 - 14.00
Computer Science meets Philosophy –
the Future of AI 		Seminar Room 010, Bldg. 50.34
Blocks in room 252		 27.04.2017, 12.15 - 13.45
Monday blocks, 9.45 - 13.00
Praxis der Softwareentwicklung (PSE) Laboratory Room 211, Bldg. 50.34 15.05.2017, 13.00 - 14.00
Winter Term 2016/17
Title Type Place Time
Formale Systeme Lecture Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Praxis der Forschung (PdF) Team Project Room -102, Bldg. 50.34 17.10.2016, 13.00 - 14.00
Praxis der Softwareentwicklung (PSE) – PLC Laboratory Room 211, Bldg. 50.34 Wednesday, 11.30 - 13.00
Praxis der Softwareentwicklung (PSE) – Voting Laboratory Room 201, Bldg. 50.34 Wednesday, 11.30 - 13.00
Summer Term 2016
Title Type Place Time
Formale Systeme II: Theorie Lecture Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Praxis der Forschung (PdF) Team Project Room 236, Bldg. 50.34 19.04.2016, 13.00 - 14.00
Desaster in der Software-Sicherheit:
Können formale Methoden helfen?		 Proseminar Room 131, Bldg. 50.34 20.04.2016, 13.00 - 14.00
Winter Term 2015/16
Title Type Place Time
Formale Systeme Lecture Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Praxis der Forschung (PdF) Team Project Room 301, Bldg. 50.34 20.10.2015, 13.00 - 14.00
Desaster in der Software-Sicherheit Proseminar Room 236, Bldg. 50.34 21.10.2015, 13.00 - 14.00
Summer Term 2015
Title Type Place Time
Anwendung Formaler Verifikation Lecture Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Praxis der Forschung (PdF) Team Project Room 301, Bldg. 50.34 16.04.2015, 13.00 - 14.00
Desaster in der Software-Sicherheit Proseminar Room 131, Bldg. 50.34 15.04.2015, 13.00 - 14.00
Winter Term 2014/15
Title Type Place Time
Formale Systeme Lecture Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Praxis der Forschung (PdF) Team Project Room 301, Bldg. 50.34 21.10.2014, 13.00 - 14.00
Desaster in der Software-Sicherheit Proseminar Room 236, Bldg. 50.34 22.10.2014, 13.00 - 14.00
Praxis der Softwareentwicklung (PSE) Laboratory Room 301, Bldg. 50.34 05.11.2014, 11.30 - 13.00
Summer Term 2014
Title Type Place Time
Praxis der Forschung (PdF) Team Project Room 301, Bldg. 50.34 15.04.2014, 13.00 - 14.00
Usability von Entwicklerwerkzeugen (PdF) Team Project by appt. by appt.
Automated Software Privacy Analysis (PdF) Team Project Room 333, Bldg. 50.34 24.04.2014, 14.00 - 15.30
Desaster in der Software-Sicherheit Proseminar Room 236, Bldg. 50.34 22.04.2014, 13.00 - 14.00
Winter Term 2013/14
Title Type Place Time
Praxis der Forschung (PdF) Team Project Room 301, Bldg. 50.34 22.10.2013, 13.00 - 14.00
Hybrid Systems Verification (PdF) Team Project Room 211, Bldg. 50.34 by appt.
Verifying Component-Based Security (PdF) Team Project Room 211, Bldg. 50.34 by appt.
Formale Methoden der Softwareentwicklung (PdF) Team Project Room 211, Bldg. 50.34 by appt.
Formale Analyse von Wahlverfahren Proseminar Room 236, Bldg. 50.34 23.10.2013, 13.00 - 14.00
Praxis der Softwareentwicklung (PSE) Laboratory Room 301, Bldg. 50.34 30.10.2013, 11.30 - 13.00
Summer Term 2013
Title Type Place Time
Anwendung formaler Verifikation mit Übung Lecture Room 236, Bldg. 50.34
 18.04.2013, 11.30 - 13.00


19.04.2013, 11.30 - 13.00

25.04.2013, 11.30 - 13.00

26.04.2013, 11.30 - 13.00

02.05.2013, 11.30 - 13.00

03.05.2013, 11.30 - 13.00

10.05.2013, 11.30 - 13.00

16.05.2013, 11.30 - 13.00

17.05.2013, 11.30 - 13.00

23.05.2013, 11.30 - 13.00

24.05.2013, 11.30 - 13.00

31.05.2013, 11.30 - 13.00

06.06.2013, 11.30 - 13.00

07.06.2013, 11.30 - 13.00

13.06.2013, 11.30 - 13.00

14.06.2013, 11.30 - 13.00

20.06.2013, 11.30 - 13.00

21.06.2013, 11.30 - 13.00

27.06.2013, 11.30 - 13.00

28.06.2013, 11.30 - 13.00

04.07.2013, 11.30 - 13.00

05.07.2013, 11.30 - 13.00

11.07.2013, 11.30 - 13.00

12.07.2013, 11.30 - 13.00

18.07.2013, 11.30 - 13.00

19.07.2013, 11.30 - 13.00
Praxis der Forschung (PdF) Team Project Room 301, Bldg. 50.34 12.04.2013, 13.00 - 14.00
Formale Methoden der Softwareentwicklung:
Regression Verification (PdF)		 Team Project Room 211, Bldg. 50.34 by appt.
Winter Term 2012/13
Title Type Place Time
Praxis der Forschung (PdF) Team Project Room -102, Bldg. 50.34 18.10.2012, 13.15 - 14.00
Formale Methoden der Softwareentwicklung:
Regression Verification (PdF)		 Team Project Room 211, Bldg. 50.34 Monday, 14.00 - 15.30
Thursday, 15.45 - 17.15
Formale Entwicklung objektorientierter Software Laboratory For lecture dates
Room 301, Bldg. 50.34;
For meetings and student
presentations
Room 211, Bldg. 50.34		 Wednesday, 17.30 - 19.00 ;
For student presentations:
Group 1: 17.30 - 18.00 ,
Group 2: 18.00 - 18.30 ,
Group 3: 18.30 - 19.00
(Groups may agree on order
among themselves)
Praxis der Softwareentwicklung (PSE) Laboratory Room -109, Bldg. 50.34 24.10.2012, 11.30 - 13.00
Summer Term 2012
Title Type Place Time
Anwendung formaler Verifikation mit Übung Lecture Room 236, Bldg. 50.34 19.04.2012, 11.30 - 13.00


20.04.2012, 11.30 - 13.00

26.04.2012, 11.30 - 13.00

27.04.2012, 11.30 - 13.00

03.05.2012, 11.30 - 13.00

04.05.2012, 11.30 - 13.00

10.05.2012, 11.30 - 13.00

11.05.2012, 11.30 - 13.00

18.05.2012, 11.30 - 13.00

24.05.2012, 11.30 - 13.00

25.05.2012, 11.30 - 13.00

31.05.2012, 11.30 - 13.00

01.06.2012, 11.30 - 13.00

08.06.2012, 11.30 - 13.00

14.06.2012, 11.30 - 13.00

15.06.2012, 11.30 - 13.00

21.06.2012, 11.30 - 13.00

22.06.2012, 11.30- 13.00

28.06.2012, 11.30 - 13.00

29.06.2012, 11.30 - 13.00

05.07.2012, 11.30 - 13.00

06.07.2012, 11.30 - 13.00

12.07.2012, 11.30 - 13.00

13.07.2012, 11.30- 13.00

19.07.2012, 11.30 - 13.00

20.07.2012, 11.30 - 13.00
Formale Methoden für Software-Sicherheit Seminar Room 236, Bldg. 50.34 25.04.2012, 13.15 - 14.00
Praxis der Softwareentwicklung (PSE) Laboratory Room -120, Bldg. 50.34 25.04.2012, 15.00 - 16.30
Winter Term 2011/12
Title Type Place Time
Formale Systeme und Methoden Seminar Room -120, Bldg. 50.34 10.02.2012, 14.00 - 16.30
Formale Entwicklung objektorientierter Software Laboratory Room 211, Bldg. 50.34 Tuesday, 17.30 - 19.00
Praxis der Softwareentwicklung (PSE) Laboratory Room 211, Bldg. 50.34 25.10.2011, 15.45 - 17.15
Summer Term 2011
Title Type Place Time
Anwendung formaler Verifikation mit Übung Lecture Room 236, Bldg. 50.34 Thursday, 11.30 - 13.00
Friday, 11.30 - 13.00
Formal Methods: Best of 2010 Seminar Room 131, Bldg. 50.34 13.04.2011, 13.15 - 14.00
Winter Term 2010/11
Title Type Place Time
Formale Systeme Lecture / Common Exercises Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Praxis der Softwareentwicklung (PSE) Laboratory Room 211, Bldg. 50.34 03.11.2010, 15.45 - 17.15
Summer Term 2010
Title Type Place Time
Anwendung formaler Verifikation mit Übung Lecture Room 236, Bldg. 50.34 Thursday, 11.30 - 13.00
Friday, 11.30 - 13.00
Formale Programmentwicklung Seminar Room 301, Bldg. 50.34 21.04.2010, 13.00 - 14.00
Winter Term 2009/10
Title Type Place Time
Formale Systeme mit Übung Lecture / Common Exercises Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Praxis der Softwareentwicklung (PSE) Laboratory Room 131, Bldg. 50.34 06.11.2009, 15.45 - 17.15
Winter Term 2008/09
Title Type Place Time
Formale Systeme mit Übung Lecture / Common Exercises Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00

Teaching (current term)