Lehrveranstaltungen Sommersemester 2020
title type semester place
SAT Solving in der Praxis SS 2020
Proseminar Algorithmische Verifikation Proseminar (PS) SS 2020
Praktikum SAT/SMT-Solving Praktikum (P) SS 2020

Seminarraum 236, Geb. 50.34
Seminar: Anwendung Formaler Verifikation Seminar (S) SS 2020
Forschungsseminar Seminar (S) SS 2020
Lehrveranstaltungen Wintersemester 2019/2020
title type semester place
Proseminar Werkzeuge und Methoden der Software-Analyse Proseminar (PS) WS 19/20
Praktikum SAT/SMT-Solving Praktikum (P) WS 19/20
Forschungsseminar Seminar (S) WS 19/20
Entscheidungsverfahren mit Anwendungen in der Softwareverifikation WS 19/20
Ausgewählte Kapitel der Algorithmischen Verifikation Seminar (S) WS 19/20
SAT-Community KA Sonstige (sonst.) WS 19/20
Lehrveranstaltungen Sommersemester 2019
title type semester place
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
Lehrveranstaltungen Sommersemester 2018
title type semester place
SAT Solving in der Praxis SS 2018
Algorithmen I SS 2018
Lehrveranstaltungen Sommersemester 2017
title type semester place
SAT Solving in der Praxis SS 2017
Lehrveranstaltungen Sommersemester 2016
title type semester place
SAT Solving in der Praxis lecture

Seminarraum 236 (Geb. 50.34)
Übungen zur Vorlesung SAT Solving in der Praxis exercise

Seminarraum 301 (Geb. 50.34)
Lehrveranstaltungen Wintersemester 2013/2014
title type semester place
Programmieren Vorlesung (V) WS 13/14

30.95 Audimax 
Tutorenseminar zu Programmieren Vorlesung (V) WS 13/14
Bug Finding Techniques seminar WS 2013/2014
Lehrveranstaltungen Sommersemester 2013
title type semester place
Programmieren für Wiederholer Übungsschein Sommersemester 2013
Entscheidungsverfahren mit Anwendungen in der Softwareverifikation Vorlesung (V) SS 2013

50.34 Raum 131
Bug Finding Techniques Seminar (S) SS 2013
Lehrveranstaltungen Wintersemester 2012/2013
title type semester place
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 (V) WS 12/13
Lehrveranstaltungen Wintersemester 2011/2012
title type semester place
Bug Finding Techniques seminar WS 11/12
Lehrveranstaltungen Wintersemester 2010/2011
title type semester place
Bug Finding Techniques Seminar Wintersemester 2010/11

seminar room 236 (50.34)
Lehrveranstaltungen Sommersemester 2010
title type semester place
Computational Complexity II lecture summer semester 2010

seminar room 301 (50.34)
Termersetzungssysteme Vorlesung Sommersemester 2010

seminar room 131 (50.34)
Seminar: Software-Model-Checking Seminar Sommersemester 2010

seminar room 131 (50.34)
Lehrveranstaltungen Wintersemester 2009/2010
title type semester place
Computational Complexity Lectures seminar room -109 (50.34 UG)
Entscheidungsverfahren für die Software-Verifikation lecture seminar room 301 (building 50.34)
Übungen zur Vorlesung Entscheidungsverfahren Exercise seminar room -109 (50.34 UG)
Lehrveranstaltungen Sommersemester 2009
title type semester place
Model Checking lecture seminar room 131
Übungen zur Vorlesung Model Checking Exercise seminar room -107
Lehrveranstaltungen Wintersemester 2008/2009
title type semester place
General Purpose GPU Programming internship Hauptdiplom room 305 (Rechnerraum)
Diplomanden- und Mitarbeiterseminar seminar seminar room 131
Lehrveranstaltungen Sommersemester 2008
title type semester place
Seminar SAT-Solving seminar Hauptdiplom seminar room -107