Home | english  | Impressum | Sitemap | KIT

Diplomanden- und Mitarbeiterseminar

Diplomanden- und Mitarbeiterseminar
Typ: Seminar
Ort:

Seminarraum 131 (50.34)

Zeit:

Do 16:15-17:45

Beginn: ab dem 13. November 14-tägig
Dozent:

C. Sinz, H. Post, O. Tveretina

Im Diplomanden- und Mitarbeiterseminar werden aktuelle Forschungsthemen unserer Arbeitsgruppe besprochen sowie Diplom- und Studienarbeiten vorgestellt.

Termine

Datum Thema Vortragender
13.11.2008 QBF: Models, Certificates, Complexity C. Sinz
27.11.2008  Software Bounded Model Checking N.N.
11.12.2008  N.N.  N.N.
08.01.2009  N.N.  N.N.
22.01.2009 N.N. N.N.
05.02.2009 N.N. N.N.