|
|
|
|
Lehrveranstaltungen
Sommersemester 2008
|
|
|
Donnerstags, 14.00 -16.00 Uhr, Raum 2.12
17.04.08: Besprechung
24.04.08: Antrittsvorlesungen Prof. Dr. F. Schreiber, Prof. Dr. M. Müller-Hannemann
16.00 Uhr, HS 3.07
08.05.08: A. Gebhardt: Weighted Automata Define a Hierarchy of Terminating String Rewriting
Systems, 15.30 Uhr, R 2.12
13.05.08: Prof. Dr. W. Tichy (Karlsruhe): Herausforderung Multikernsysteme,
16.15 Uhr, HS 3.28
15.05.08: J. Mielke: 14.30 Uhr
15.05.08: K. Wallnau (Pittsburgh, USA):
Engineering of Automated, Certifiable Software Quality
16:15 Uhr, HS 3.07
29.05.08: Besprechung
06.06.08:
Festkolloquium zu Prof. Staigers 60. Geburtstag, 14.00 Uhr, R 5.09
12.06.08: Prof. Dr. L. Staiger:
19.06.08: J. Mielke: 15.00 Uhr
19.06.08: Siamak Tazari: A Faster Shortest-Paths Algorithm for Minor-Closed Graph Classes
16.15 Uhr, R. 2.25
24.06.08: D. Pollmächer: Konstruktion korrekter Codegeneratoren für speicherprogrammierbare
Steuerungen (Verteidigung Dissertation)
16.30 Uhr, HS 1.26
10.07.08: F. Mang (Accenture GmbH): Multipolare Welten - Herausforderungen und Chancen
für die Softwareentwicklung
16.15 Uhr, HS 3.07
16.06.08: Prof. Dr. L. Staiger: Monotone Komplexität
Studenten,die am Oberseminar teilnehmen möchten,
schicken bitte
Ihre E-mail-Adresse an
winter@informatik.uni-halle.de.
Sie bekommen dann die Vortragsankündigungen auf elektronischem
Weg zugestellt.
17.04.2008