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)

Summer Term 2024
Title Type Place Time
Formal Systems II: Theory Lecture (L) Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Research Project (PdF) Team Project (TP) Room 252, Bldg. 50.34 17.04.2024, 11.30 - 13.15
Formal System Engineering Proseminar (PS) Room 236, Bldg. 50.34 22.04.2024, 13.05 - 13.55
Application of Formal Verification Seminar (S) By arrangement By arrangement
E-Voting Seminar (S) Room 3A-11.1, Bldg. 50.34 26.04.2024, 14.00 - 15.30
Research Laboratory on
Formal Systems II: Theory		 Laboratory (Lb) By arrangement See lecture
Winter Term 2023/24
Title Type Place Time
Formal Systems Lecture (L) Room -101, Bldg. 50.34
Gaede Lecture-Hall (Bldg. 30.22)		 Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Teaching Computer Science II Lecture (L) Room 1, Bldg. 50.28 Wednesday, 17.30 - 19.00
Introduction to Quantum-Computing (IQC) Lecture (L) Room -102, Bldg. 50.34 Monday, 17.30 - 19.00
Basic Notions of Computer Science Lecture / Exercises (LE) Audimax Lect.-Hall (Bldg. 30.95)
Room -101, Bldg. 50.34
Room -102, Bldg. 50.34 (Wed.)		 Wednesday, 09.45 - 11.15
Friday, 09.45 - 11.15
Research Project (PdF) Team Project (TP) Room 010, Bldg. 50.34 25.10.2023, 11.30 - 13.15
Formal System Engineering Proseminar (PS) Room 236, Bldg. 50.34 27.10.2023, 13.00 - 14.00
Didactics of Computer Science Proseminar (PS) Room 348, Bldg. 50.34 25.10.2023, 13.00 - 14.00
Application of Formal Verification Seminar (S) By arrangement By arrangement
Research Laboratory on
Formal Systems		 Laboratory (Lb) By arrangement See lecture
Software Engineering Practice (PSE) Laboratory (Lb) Room 1.1.24, FZI 08.11.2023, 14.00 - 15.00
Team Project Laboratory (Lb) Room 1, Bldg. 50.28 25.10.2023, 17.30 - 19.00
Summer Term 2023
Title Type Place Time
Formal Systems II: Application Lecture (L) Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Teaching Computer Science I Lecture (L) Room -142, Bldg. 50.34 Wednesday, 17.30 - 19.00
Thursday, 17.30 - 19.00
(block seminars)
Teaching Computer Science III Lecture (L) Room 211, Bldg. 50.34 Thursday, 14.30 - 18.00
Research Project (PdF) Team Project (TP) Room 301, Bldg. 50.34 20.04.2023, 14.00 - 15.30
Differentiable Programming Proseminar (PS) Room 301, Bldg. 50.34 18.04.2023, 15.45 - 17.15
Application of Formal Verification Seminar (S) By arrangement By arrangement
Fairness and Non-Discrimination
from the Viewpoints of Ethics and Informatics		 Seminar (S) Room 010, Bldg. 50.34 27.04.2023, 11.30 - 13.00
Research Laboratory on
Formal Systems II: Application		 Laboratory (Lb) By arrangement See lecture
Winter Term 2022/23
Title Type Place Time
Formal Systems Lecture (L) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Teaching Computer Science II Lecture (L) Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Introduction to Quantum-Computing (IQC) Lecture (L) Room -102, Bldg. 50.34 Monday, 17.30 - 19.00
Basic Notions of Computer Science Lecture / Exercises (LE) Audimax Lect.-Hall (Bldg. 30.95)
Room -101, Bldg. 50.34
Room -102, Bldg. 50.34 (Wed.)		 Wednesday, 09.45 - 11.15
Friday, 09.45 - 11.15
Research Project (PdF) Team Project (TP) Room 301, Bldg. 50.34 26.10.2022, 11.30 - 13.15
Application of Formal Verification Seminar (S) Room 236, Bldg. 50.34 By arrangement
Research Laboratory on
Formal Systems		 Laboratory (Lb) By arrangement See lecture
Software Engineering Practice (PSE) Laboratory (Lb) Room 211, Bldg. 50.34 07.11.2022, 14.00 - 15.00
07.11.2022, 15.00 - 16.00
Team Project Laboratory (Lb) Room 131, Bldg. 50.34 26.10.2022, 17.30 - 19.00
Summer Term 2022
Title Type Place Time
Formal Systems II: Theory Lecture (L) Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Teaching Computer Science I Lecture (L) Room -142, Bldg. 50.34 Wednesday, 17.30 - 19.00
Thursday, 17.30 - 19.00
(block seminars)
Teaching Computer Science III Lecture (L) Room -108, Bldg. 50.34 Tuesday, 13.00 - 15.45
Wednesday, 13.00 - 16.00
Research Project (PdF) Team Project (TP) Room -102, Bldg. 50.34 20.04.2022, 11.30 - 13.15
Application of Formal Verification Seminar (S) By arrangement By arrangement
E-Voting Seminar (S) Room 3A-11.1, Bldg. 05.20 20.04.2022, 15.45 - 17.30
Research Laboratory on
Formal Systems II: Theory		 Laboratory (Lb) By arrangement See lecture
Winter Term 2021/22
Title Type Place Time
Formal Systems Lecture (L) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 12.00 - 13.30
Teaching Computer Science II Lecture (L) Room -143, Bldg. 50.34 Wednesday, 18.00 - 19.30
Research Project (PdF) Team Project (TP) Informatics Library, Bldg. 50.34 21.10.2021, 12.00 - 13.45
Application of Formal Verification Seminar (S) Room 201, Bldg. 50.34 By arrangement
Team Project Laboratory (Lb) Room -143, Bldg. 50.34 20.10.2021, 18.00 - 19.30
Summer Term 2021
Title Type Place Time
Formal Systems II: Application Lecture (L) Online Tuesday, 12.00 - 13.30
Friday, 12.00 - 13.30
Teaching Computer Science I Lecture (L) Online Wednesday, 18.00 - 19.30
Thursday, 18.00 - 19.30
Teaching Computer Science III Lecture (L) Online Thursday, 14.00 - 17.00
Wednesday, 14.00 - 17.00
(block seminars)
Research Project (PdF) Team Project (TP) Online 14.04.2021, 12.00 - 13.45
Application of Formal Verification Seminar (S) Online By arrangement
Fairness and Non-Discrimination
from the Viewpoints of Ethics and Informatics 		Seminar (S) Online 05.05.2021, 10.00 - 11.30
Research Laboratory on
Formal Systems II: Application 		Laboratory (Lb) Online See lecture
Software Engineering Practice (PSE) Laboratory (Lb) Online 28.04.2021, 15.00 - 16.00
Winter Term 2020/21
Title Type Place Time
Formal Systems Lecture (L) Online Thursday, 14.00 - 15.30
Friday, 12.00 - 13.30
Teaching Computer Science II Lecture (L) Online Wednesday, 18.00 - 19.30
Research Project (PdF) Team Project (TP) Online 03.11.2020, 12.00 - 13.45
Application of Formal Verification Seminar (S) Online By arrangement
Research Laboratory on
Formal Systems 		Seminar (S) Online See lecture
Software Engineering Practice (PSE) – Class Register Laboratory (Lb) Online By arrangement
Software Engineering Practice (PSE) – Nets Laboratory (Lb) Online By arrangement
Team Project Laboratory (Lb) Online 04.11.2020, 17.00 - 18.00
Summer Term 2020
Title Type Place Time
Formal Systems II: Theory Lecture (L) Online Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Teaching Computer Science I Lecture (L) Online Wednesday, 17.30 - 19.00
Thursday, 17.30 - 19.00
Teaching Computer Science III Lecture (L) Online Tuesday, 13.00 - 16.00
Wednesday, 13.00 - 16.00
(block seminars)
Research Project (PdF) Team Project (TP) Online 21.04.2020, 13.15 - 13.45
Application of Formal Verification Seminar (S) Online 27.04.2020, 14.00 - 15.30
E-Voting Seminar (S) Online 29.04.2020, 12.30 - 14.00
Fairness and Non-Discrimination
from the Viewpoints of Ethics and Informatics 		Seminar (S) Online 20.04.2020, 14.00 - 15.30
Research Laboratory on
Formal Systems II: Theory 		Laboratory (Lb) Online See lecture
Software Engineering Practice (PSE) Laboratory (Lb) Online 05.05.2020, 13.00 - 14.00
Winter Term 2019/20
Title Type Place Time
Formal Systems Lecture (L) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Teaching Computer Science II Lecture (L) Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Research Project (PdF) Team Project (TP) Room 236, Bldg. 50.34 16.10.2019, 13.15 - 13.45
Application of Formal Verification Seminar (S) Room 211, Bldg. 50.34 23.10.2019, 14.00 - 15.30
Software Engineering Practice (PSE) Laboratory (Lb) Room 211, Bldg. 50.34 04.11.2019, 13.00 - 14.00
Team Project Laboratory (Lb) Room 211, Bldg. 50.34 16.10.2019, 13.00 - 14.00
Summer Term 2019
Title Type Place Time
Formal Systems II: Application Lecture (L) Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Teaching Computer Science I Lecture (L) Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Teaching Computer Science III Lecture (L) Room 211, Bldg. 50.34 Wednesday, 14.00 - 19.00
(block seminars)
Research Project (PdF) Team Project (TP) Room 131, Bldg. 50.34 24.04.2019, 13.15 - 13.45
Formal Methods and Machine Learning Proseminar (PS) Room 236, Bldg. 50.34 25.04.2019, 13.00 - 14.00
Application of Formal Verification Seminar (S) Room 236, Bldg. 50.34 23.04.2019, 13.00 - 14.00
Fairness and Non-Discrimination
from the Viewpoints of Ethics and Informatics 		Seminar (S) Room 110, Bldg. 50.34 24.04.2019, 11.30 - 13.00
Software Engineering Practice (PSE) – DAQ Laboratory (Lb) Room 211, Bldg. 50.34 Tuesday, 08.20 - 09.40
Software Engineering Practice (PSE) – SQL Laboratory (Lb) Room 201, Bldg. 50.34 Friday, 08.20 - 09.40
Winter Term 2018/19
Title Type Place Time
Formal Systems Lecture (L) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Teaching Computer Science II Lecture (L) Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Research Project (PdF) Team Project (TP) Room 236, Bldg. 50.34 16.10.2018, 13.15 - 13.45
Application of Formal Verification Seminar (S) Room 211, Bldg. 50.34 18.10.2018, 13.00 - 14.00
Team Project Laboratory (Lb) Room 211, Bldg. 50.34 Wednesday, 15.45 - 17.15
Summer Term 2018
Title Type Place Time
Formal Systems II: Theory Lecture (L) Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Teaching Computer Science I Lecture (L) Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Research Project (PdF) Team Project (TP) Room 236, Bldg. 50.34 17.04.2018, 13.15 - 13.45
Software Engineering Practice (PSE) Laboratory (Lb) Room 211, Bldg. 50.34 Friday, 15.45 - 17.15
Winter Term 2017/18
Title Type Place Time
Formal Systems Lecture (L) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Teaching Computer Science II Lecture (L) Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Research Project (PdF) Team Project (TP) Room -101, Bldg. 50.34 18.10.2017, 13.00 - 14.00
Software Engineering Practice (PSE) Laboratory (Lb) Room 211, Bldg. 50.34 Monday, 15.45 - 17.15
Team Project Laboratory (Lb) Room 211, Bldg. 50.34 Wednesday, 15.45 - 17.15
Summer Term 2017
Title Type Place Time
Formal Systems II: Application Lecture (L) Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Teaching Computer Science I Lecture (L) Room -143, Bldg. 50.34 Wednesday, 17.30 - 19.00
Thursday, 17.30 - 19.00
Research Project (PdF) Team Project (TP) Room -101, Bldg. 50.34 25.04.2017, 13.00 - 14.00
Deductive Software Verification – The KeY Book Proseminar (PS) Room 236, Bldg. 50.34 02.05.2017, 13.00 - 14.00
Deductive Software Verifikation –
From Theory to Application 		Seminar (S) Room 236, Bldg. 50.34 02.05.2017, 13.00 - 14.00
Computer Science meets Philosophy –
the Future of AI 		Seminar (S) Room 010, Bldg. 50.34
Blocks in room 252		 27.04.2017, 12.15 - 13.45
Monday blocks, 9.45 - 13.00
Software Engineering Practice (PSE) Laboratory (Lb) Room 211, Bldg. 50.34 15.05.2017, 13.00 - 14.00
Winter Term 2016/17
Title Type Place Time
Formal Systems Lecture (L) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Research Project (PdF) Team Project (TP) Room -102, Bldg. 50.34 17.10.2016, 13.00 - 14.00
Software Engineering Practice (PSE) – PLC Laboratory (Lb) Room 211, Bldg. 50.34 Wednesday, 11.30 - 13.00
Software Engineering Practice (PSE) – Voting Laboratory (Lb) Room 201, Bldg. 50.34 Wednesday, 11.30 - 13.00
Summer Term 2016
Title Type Place Time
Formal Systems II: Theory Lecture (L) Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Research Project (PdF) Team Project (TP) Room 236, Bldg. 50.34 19.04.2016, 13.00 - 14.00
Disasters in Software Security:
Can Formal Methods help? 		Proseminar (PS) Room 131, Bldg. 50.34 20.04.2016, 13.00 - 14.00
Winter Term 2015/16
Title Type Place Time
Formal Systems Lecture (L) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Research Project (PdF) Team Project (TP) Room 301, Bldg. 50.34 20.10.2015, 13.00 - 14.00
Disasters in Software Security Proseminar (PS) Room 236, Bldg. 50.34 21.10.2015, 13.00 - 14.00
Summer Term 2015
Title Type Place Time
Application of Formal Verification Lecture (L) Room 236, Bldg. 50.34 Tuesday, 11.30 - 13.00
Friday, 11.30 - 13.00
Research Project (PdF) Team Project (TP) Room 301, Bldg. 50.34 16.04.2015, 13.00 - 14.00
Disasters in Software Security Proseminar (PS) Room 131, Bldg. 50.34 15.04.2015, 13.00 - 14.00
Winter Term 2014/15
Title Type Place Time
Formal Systems Lecture (L) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Research Project (PdF) Team Project (TP) Room 301, Bldg. 50.34 21.10.2014, 13.00 - 14.00
Disasters in Software Security Proseminar (PS) Room 236, Bldg. 50.34 22.10.2014, 13.00 - 14.00
Software Engineering Practice (PSE) Laboratory (Lb) Room 301, Bldg. 50.34 05.11.2014, 11.30 - 13.00
Summer Term 2014
Title Type Place Time
Research Project (PdF) Team Project (TP) Room 301, Bldg. 50.34 15.04.2014, 13.00 - 14.00
Usability of Developer Tools (PdF) Team Project (TP) By arrangement By arrangement
Automated Software Privacy Analysis (PdF) Team Project (TP) Room 333, Bldg. 50.34 24.04.2014, 14.00 - 15.30
Disasters in Software Security Proseminar (PS) Room 236, Bldg. 50.34 22.04.2014, 13.00 - 14.00
Winter Term 2013/14
Title Type Place Time
Research Project (PdF) Team Project (TP) Room 301, Bldg. 50.34 22.10.2013, 13.00 - 14.00
Hybrid Systems Verification (PdF) Team Project (TP) Room 211, Bldg. 50.34 By arrangement
Verifying Component-Based Security (PdF) Team Project (TP) Room 211, Bldg. 50.34 By arrangement
Formal Methods of Software Engineering (PdF) Team Project (TP) Room 211, Bldg. 50.34 By arrangement
Formal Analysis of Voting Rules Proseminar (PS) Room 236, Bldg. 50.34 23.10.2013, 13.00 - 14.00
Software Engineering Practice (PSE) Laboratory (Lb) Room 301, Bldg. 50.34 30.10.2013, 11.30 - 13.00
Summer Term 2013
Title Type Place Time
Application of Formal Verification with Exercises Lecture (L) 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
Research Project (PdF) Team Project (TP) Room 301, Bldg. 50.34 12.04.2013, 13.00 - 14.00
Formal Methods for Software Development:
Regression Verification (PdF) 		Team Project (TP) Room 211, Bldg. 50.34 By arrangement
Winter Term 2012/13
Title Type Place Time
Research Project (PdF) Team Project (TP) Room -102, Bldg. 50.34 18.10.2012, 13.15 - 14.00
Formal Methods for Software Development:
Regression Verification (PdF) 		Team Project (TP) Room 211, Bldg. 50.34 Monday, 14.00 - 15.30
Thursday, 15.45 - 17.15
Formale Development of Object-Oriented Software Laboratory (Lb) 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)
Software Engineering Practice (PSE) Laboratory (Lb) Room -109, Bldg. 50.34 24.10.2012, 11.30 - 13.00
Summer Term 2012
Title Type Place Time
Application of Formal Verification with Exercises Lecture (L) 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
Formal Methods for Software Security Seminar (S) Room 236, Bldg. 50.34 25.04.2012, 13.15 - 14.00
Software Engineering Practice (PSE) Laboratory (Lb) 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 (S) Room -120, Bldg. 50.34 10.02.2012, 14.00 - 16.30
Formale Development of Object-Oriented Software Laboratory (Lb) Room 211, Bldg. 50.34 Tuesday, 17.30 - 19.00
Software Engineering Practice (PSE) Laboratory (Lb) Room 211, Bldg. 50.34 25.10.2011, 15.45 - 17.15
Summer Term 2011
Title Type Place Time
Application of Formal Verification with Exercises Lecture (L) Room 236, Bldg. 50.34 Thursday, 11.30 - 13.00
Friday, 11.30 - 13.00
Formal Methods: Best of 2010 Seminar (S) Room 131, Bldg. 50.34 13.04.2011, 13.15 - 14.00
Winter Term 2010/11
Title Type Place Time
Formal Systems Lecture / Exercises (LE) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Software Engineering Practice (PSE) Laboratory (Lb) Room 211, Bldg. 50.34 03.11.2010, 15.45 - 17.15
Summer Term 2010
Title Type Place Time
Application of Formal Verification with Exercises Lecture (L) Room 236, Bldg. 50.34 Thursday, 11.30 - 13.00
Friday, 11.30 - 13.00
Formal Program Development Seminar (S) Room 301, Bldg. 50.34 21.04.2010, 13.00 - 14.00
Winter Term 2009/10
Title Type Place Time
Formal Systems with Exercises Lecture / Exercises (LE) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00
Software Engineering Practice (PSE) Laboratory (Lb) Room 131, Bldg. 50.34 06.11.2009, 15.45 - 17.15
Winter Term 2008/09
Title Type Place Time
Formal Systems with Exercises Lecture / Exercises (LE) Gaede Lecture-Hall (Bldg. 30.22) Thursday, 14.00 - 15.30
Friday, 11.30 - 13.00

Teaching (current term)