Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

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.