Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Courses (Archive)

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
Praxis der Forschung (PdF) Team Project Room -101, Bldg. 50.34 25.04.2016, 13:00 - 14:00
Deduktive Software-Verifikation – Das KeY-Buch Proseminar Room 236, Bldg. 50.34 02.05.2016, 13:00 - 14:00
Deduktive Software-Verifikation –
Von der Theorie zur Anwendung
Seminar Room 236, Bldg. 50.34 02.05.2016, 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
Blocks on Mondays, 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) Laboratory Rooms 201 a. 211, 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