Home | deutsch  | Legals | Sitemap | KIT

Diplomanden- und Mitarbeiterseminar

Diplomanden- und Mitarbeiterseminar
type: seminar
place: seminar room 131
time:

Thur. 16:15

start: ab dem 6. November 14-tägig
lecturer:

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.