Home | deutsch  | Legals | Sitemap | KIT
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
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
Bug Finding Techniques seminar 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
Diplomanden- und Mitarbeiterseminar seminar seminar room 131
General Purpose GPU Programming internship Hauptdiplom room 305 (Rechnerraum)


Lehrveranstaltungen Sommersemester 2008
title type semester place
Seminar SAT-Solving seminar Hauptdiplom seminar room -107