Home | english  | Impressum | Sitemap | KIT
Lehrveranstaltungen Sommersemester 2016
Titel Typ Ort Zeit
SAT Solving in der Praxis Vorlesung

Seminarraum 236 (Geb. 50.34)

Mo 14:00-15:30
Übungen zur Vorlesung SAT Solving in der Praxis Übung

Seminarraum 301 (Geb. 50.34)

Do 14:00-15:30


Lehrveranstaltungen Wintersemester 2013/2014
Titel Typ Ort Zeit
Programmieren Vorlesung (V)

30.95 Audimax 

 Mo 14:00-15:30 (wöchentlich)
Tutorenseminar zu Programmieren Vorlesung (V)
Bug Finding Techniques Seminar


Lehrveranstaltungen Sommersemester 2013
Titel Typ Ort Zeit
Programmieren für Wiederholer Übungsschein
Entscheidungsverfahren mit Anwendungen in der Softwareverifikation Vorlesung (V)

50.34 Raum 131

Mo 14:00-15:30
Bug Finding Techniques Seminar (S)


Lehrveranstaltungen Wintersemester 2012/2013
Titel Typ Ort Zeit
Bug Finding Techniques Seminar
Programmieren Vorlesung 30.95 Audimax
50.34 Räume -101, -102, -118, -119 (Videoübertragung)
 Mo 14:00-15:30 (wöchentlich)
Tutorenseminar zu Programmieren Vorlesung


Lehrveranstaltungen Wintersemester 2011/2012
Titel Typ Ort Zeit
Bug Finding Techniques Seminar


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

Seminarraum 236 (50.34)

Do 14:00-15:30


Lehrveranstaltungen Sommersemester 2010
Titel Typ Ort Zeit
Computational Complexity II Vorlesung

Seminarraum 301 (50.34)

Do 11:30-13:00 (14-tägig)
Termersetzungssysteme Vorlesung

Seminarraum 131 (50.34)

Mo 09:45-11:15 (14-tägig)
Seminar: Software-Model-Checking Seminar

Seminarraum 131 (50.34)

Blockveranstaltung am Ende des Semesters


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

Seminarraum 301 (50.34)

Mi 14:00-15:30
Übungen zur Vorlesung Entscheidungsverfahren Übung Seminarraum -109 (50.34 UG)

Mi 11:30-13:00 (14-tägig)
Computational Complexity Vorlesung Seminarraum -109 (50.34 UG)

Mi 11:30-13:00 (14-tägig)


Lehrveranstaltungen Sommersemester 2009
Titel Typ Ort Zeit
Model Checking Vorlesung

Seminarraum 131 (50.34)

Mo 11:30-13:15
Übungen zur Vorlesung Model Checking Übung

Seminarraum -107 (50.34 UG)

Mi. 15:45-17:15


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

Seminarraum 131 (50.34)

Do 16:15-17:45
General Purpose GPU Programming Praktikum

Rechnerraum 305 (50.34)

09.-13.02.2009 (letzte Woche des Semesters) ganztags


Lehrveranstaltungen Sommersemester 2008
Titel Typ Ort Zeit
Seminar SAT-Solving Seminar

Seminarraum -107 (50.34 UG)

Mo 15:45-17:15