Lehrveranstaltungen

Wintersemester 1998/99

Grundstudium:

Vorlesungen:

Automatentheorie und Formale Sprachen
Donnerstag 12-14 Uhr, V 301 H. Seidl


Berechenbarkeit und Komplexität
Mittwoch 8.30-10.00 Uhr, E 45
Christel Baier (Lehrstuhlvertreterin)

Übungen:

Automatentheorie und Formale Sprachen
Montag 14-16 Uhr, E 52 A. Neumann


Berechenbarkeit und Komplexität
Dienstag 8.30-10.00 Uhr,E 45
M. Mundhenk

Hauptstudium:

Vorlesungen:

Konzepte der Programmentwicklung
(Schwerpunkt Softwareengineering, Kernveranstaltung)
Mittwoch 12-14 Uhr, V 302
und Donnerstag 10-12 Uhr, V 302 H. Seidl


Codeerzeugung
Montag 10-12 Uhr, V 301 Keßler


Verifikationsmethoden für parallele Systeme
Dienstag 12-14 Uhr, V 302
und Mittwoch 16-18 Uhr, HS 9
Christel Baier (Lehrstuhlvertreterin)

Übungen:

Konzepte der Programmentwicklung
Dienstag 12-14 Uhr, V 301 A. Neumann


Codeerzeugung
Donnerstag 16-18 Uhr, V301 Keßler


Verifikationsmethoden für parallele Systeme
Mittwoch 15-16 Uhr, C 01
Christel Baier (Lehrstuhlvertreterin)

Praktika:

Parallele Simulation Künstlicher Neuronaler Netze
Ort und Zeit nach Vereinbarung Keßler

Seminare:

Parallele Programmiersprachen
Ort und Zeit nach Vereinbarung Keßler


Praktikum/Seminar: Garbage Collection
Ort und Zeit nach Vereinbarung A. Neumann