Titel | Typ | Semester | Ort |
---|---|---|---|
SAT Solving in der Praxis | Vorlesung / Übung (VÜ) | SS 2020 | |
Proseminar Algorithmische Verifikation | Proseminar (PS) | SS 2020 | |
Praktikum SAT/SMT-Solving | Praktikum (P) | SS 2020 | |
Seminar: Anwendung Formaler Verifikation | Seminar (S) | SS 2020 | |
Forschungsseminar | Seminar (S) | SS 2020 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Proseminar Werkzeuge und Methoden der Software-Analyse | Proseminar (PS) | WS 19/20 | Seminarraum 131, Geb. 50.34 |
Praktikum SAT/SMT-Solving | Praktikum (P) | WS 19/20 | |
Forschungsseminar | Seminar (S) | WS 19/20 | |
Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | Vorlesung / Übung (VÜ) | WS 19/20 | Raum 236 (Di, Vorlesung) Raum -109 (Mo, Übungen, 14-tägig) |
Ausgewählte Kapitel der Algorithmischen Verifikation | Seminar (S) | WS 19/20 | |
SAT-Community KA | Sonstige (sonst.) | WS 19/20 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Algorithmen I | SS 2019 | ||
Tutorenbesprechung Algorithmen I | Sonstige (sonst.) | SS 2019 | |
SAT Solving in der Praxis | SS 2019 | ||
Proseminar "Formale Methoden und Maschinelles Lernen" | Proseminar (PS) | SS 2019 | |
Seminar: Anwendung Formaler Verifikation | Seminar (S) | SS 2019 | |
Forschungsseminar | Seminar (S) | SS 2019 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | Vorlesung / Übung (VÜ) | WS 18/19 | Seminarraum 236 (Di), Seminarraum 301 (Mi) |
Ausgewählte Kapitel der Algorithmischen Verifikation | Seminar (S) | WS 18/19 | Seminarraum -109, Geb. 50.34 |
Proseminar Werkzeuge und Methoden der Software-Analyse | Proseminar (PS) | WS 18/19 | Seminarraum 131 (Geb. 50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
SAT Solving in der Praxis | SS 2018 | ||
Algorithmen I | SS 2018 |
Titel | Typ | Semester | Ort |
---|---|---|---|
SAT Solving in der Praxis | Vorlesung | SS 2017 | Seminarraum 236 (Geb. 50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
SAT Solving in der Praxis | Vorlesung | Seminarraum 236 (Geb. 50.34) |
|
Übungen zur Vorlesung SAT Solving in der Praxis | Übung | Seminarraum 301 (Geb. 50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Programmieren | Vorlesung (V) | WS 13/14 | |
Tutorenseminar zu Programmieren | Vorlesung (V) | WS 13/14 | |
Bug Finding Techniques | Seminar | WS 2013/2014 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Programmieren für Wiederholer | Übungsschein | Sommersemester 2013 | |
Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | Vorlesung (V) | SS 2013 | |
Bug Finding Techniques | Seminar (S) | SS 2013 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Bug Finding Techniques | Seminar | WS 12/13 | |
Programmieren | Vorlesung | WS 12/13 |
30.95 Audimax 50.34 Räume -101, -102, -118, -119 (Videoübertragung) |
Tutorenseminar zu Programmieren | Vorlesung | WS 12/13 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Bug Finding Techniques | Seminar | WS 11/12 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Bug Finding Techniques | Seminar | Wintersemester 2010/11 | Seminarraum 236 (50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Computational Complexity II | Vorlesung | Sommersemester 2010 | Seminarraum 301 (50.34) |
Termersetzungssysteme | Vorlesung | Sommersemester 2010 | Seminarraum 131 (50.34) |
Seminar: Software-Model-Checking | Seminar | Sommersemester 2010 | Seminarraum 131 (50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Computational Complexity | Vorlesung | Seminarraum -109 (50.34 UG) | |
Entscheidungsverfahren für die Software-Verifikation | Vorlesung | Seminarraum 301 (50.34) |
|
Übungen zur Vorlesung Entscheidungsverfahren | Übung | Seminarraum -109 (50.34 UG) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Model Checking | Vorlesung | Seminarraum 131 (50.34) |
|
Übungen zur Vorlesung Model Checking | Übung | Seminarraum -107 (50.34 UG) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Diplomanden- und Mitarbeiterseminar | Seminar | Seminarraum 131 (50.34) |
|
General Purpose GPU Programming | Praktikum | Hauptdiplom | Rechnerraum 305 (50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Seminar SAT-Solving | Seminar | Hauptdiplom | Seminarraum -107 (50.34 UG) |