Wintersemester 1999/2000

Vorlesungen

• Einführung in die Nebenläufigkeit
  W.-P. de Roever
  Zeit: Di. 14-16, Mi. 8-9 Uhr
  

• Einführung in die automatische Verifikation reaktiver Systeme
  Y. Lakhnech
  diese Vorlesung fällt aus
  

• Algorithmen und Datenstrukturen
  Vorlesung mit Praktikum
  Martin Steffen
  Zeit: Mo. 9-11 Uhr
  

Übungen und Praktika

• Übungen zu Einführung in die Nebenläufigkeit
  Karsten Stahl
  Zeit: n.V.
  

• Übungen zu Einführung in die automatische Verifikation reaktiver Systeme
  K. Baukus
  Diese Vorlesung fällt aus
  

• Praktikum zu Algorithmen und Datenstrukturen
  R. Huuck, Martin Steffen
  Zeit: Do. 16-18 Uhr
  

Seminare

• Seminar Softwaretechnologie: Modelchecking
  W.-P. de Roever
  Zeit: Freitag, 9 ct.

• Diplomandenseminar
  Zeit: Dienstag, 9 Uhr.

• Oberseminar Softwaretechnologie
  Zeit: n. V.