Home | english  | Impressum | Sitemap | KIT
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)