Endowed professorship for reliable software systems in the automotive industry

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.