Home | english  | Impressum | Datenschutz | Sitemap | KIT
Lehrveranstaltungen Sommersemester 2020
Titel Typ Semester Ort
SAT Solving in der Praxis Vorlesung / Übung (VÜ) SS 2020

Seminarraum 131, Geb. 50.34
Proseminar Algorithmische Verifikation Proseminar (PS) SS 2020

Seminarraum 236, Geb. 50.34
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
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


Lehrveranstaltungen Sommersemester 2019
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


Lehrveranstaltungen Wintersemester 2018/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)


Lehrveranstaltungen Sommersemester 2018
Titel Typ Semester Ort
SAT Solving in der Praxis SS 2018
Algorithmen I SS 2018


Lehrveranstaltungen Sommersemester 2017
Titel Typ Semester Ort
SAT Solving in der Praxis Vorlesung SS 2017

Seminarraum 236 (Geb. 50.34)


Lehrveranstaltungen Sommersemester 2016
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)


Lehrveranstaltungen Wintersemester 2013/2014
Titel Typ Semester Ort
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
Titel Typ Semester Ort
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
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


Lehrveranstaltungen Wintersemester 2011/2012
Titel Typ Semester Ort
Bug Finding Techniques Seminar WS 11/12


Lehrveranstaltungen Wintersemester 2010/2011
Titel Typ Semester Ort
Bug Finding Techniques Seminar Wintersemester 2010/11

Seminarraum 236 (50.34)


Lehrveranstaltungen Sommersemester 2010
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)


Lehrveranstaltungen Wintersemester 2009/2010
Titel Typ Semester Ort
Entscheidungsverfahren für die Software-Verifikation Vorlesung

Seminarraum 301 (50.34)
Übungen zur Vorlesung Entscheidungsverfahren Übung Seminarraum -109 (50.34 UG)
Computational Complexity Vorlesung Seminarraum -109 (50.34 UG)


Lehrveranstaltungen Sommersemester 2009
Titel Typ Semester Ort
Model Checking Vorlesung

Seminarraum 131 (50.34)
Übungen zur Vorlesung Model Checking Übung

Seminarraum -107 (50.34 UG)


Lehrveranstaltungen Wintersemester 2008/2009
Titel Typ Semester Ort
Diplomanden- und Mitarbeiterseminar Seminar

Seminarraum 131 (50.34)
General Purpose GPU Programming Praktikum Hauptdiplom

Rechnerraum 305 (50.34)


Lehrveranstaltungen Sommersemester 2008
Titel Typ Semester Ort
Seminar SAT-Solving Seminar Hauptdiplom

Seminarraum -107 (50.34 UG)