Courses (Archive)
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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. |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |