Sommersemester 1999

Vorlesungen

• Informatik IV
  W.-P. de Roever
  Zeit: Do 8-10, Do 8-10

• ``Verifikation nebenläufiger Programme''
  W.-P. de Roever, U. Hannemann
  Diese Veranstaltung muß leider ausfallen

• Theorembeweisen: Grundlagen & Praxis
  Y. Lakhnech, M. Steffen W.-P. de Roever
  Zeit:

• Moderne Telekommunikationssysteme
  Teleteachingvorlesung zusammen mit dem Institut für Telematik der Universität Lübeck
  W.-P. de Roever und Prof. Dr. D. Hogrefe (Universität Lübeck)
  Zeit: Fr. 13 - 15 Uhr

• Algorithmen und Datenstrukturen
  Vorlesung mit Praktikum.
  M. Steffen
  Zeit: Do. 14 -- 16 Uhr
  Diese Vorlesung mit Praktikum findet ausnahmsweise im 4.ten Semester statt und nicht, wie im Studienplan vorgesehen, im 3. Semester. Stattdessen wurde das Projektpraktikum in das 3. Semester vorgezogen

Übungen und Praktika

• Übungen zur Vorlesung Informatik IV
  W.-P. de Roever, K. Stahl
  Zeit: Z.n.V

• Übungen zur Vorlesung `` Verifikation nebenläufiger Programme''
  W.-P. de Roever, B. Lukoschus
  Diese Veranstaltung muß leider ausfallen

• Übungen zur Vorlesung Theorembeweisen: Grundlagen & Praxis
  Y. Lakhnech, M. Steffen
  Zeit: n.V

• Übungen zu ``Moderne Telekommunikationssysteme II``
  
  Zeit: n. V.

Seminare

• Seminar: Model Checking
  W.-P. de Roever und Mitarbeiter
  Zeit: Freitag, 9 ct.

• Proseminar Betriebssysteme und Netze
  W.-P. de Roever, M. Steffen
  Zeit: Freitag n.V.

• Diplomandenseminar
  Zeit: Dienstag, 9 Uhr.