Donnerstags, 14.15 Uhr, Raum 3.04
13.10.05: Prof. Dr. L. Staiger: Planung zum Oberseminar im WS 2005/2006
20.10.05: J. Mielke: Finite Automata and Generalized Disjunctive Sequences
24.10.05: Dr. A. Hamel: Habilitation - Verteidigung (16.15 Uhr, Raum 3.31)
27.10.05: Dr. A. Hamel: Habilitation - Probevorlesung (16.15 Uhr, Raum 3.28)
Thema: Kohärente Risikomaße: Definition, Eigenschaften, Beispiele
03.11.05: J. Mielke: Zum Theorietag vom 27.-29.09.05 in Lauterbad
10.11.05: Prof. Dr. L. Staiger: Akzeptierung von unendlichen Wörtern durch endliche Automaten
17.11.05: Prof. Dr. L. Staiger: Akzeptierung von unendlichen Wörtern durch endliche Automaten
24.11.05: Prof. Dr. L. Staiger: Codes
01.12.05: Prof. Dr. D. Paulus (Universität Koblenz-Landau): Fachbereichskolloquium (16.15 Uhr, Raum 1.26)
Thema: Aktives Farbsehen
08.12.05: Dr. S. Schwarz:
15.12.05: Prof. Dr. C. Lewerentz (TU Cottbus): Institutskolloquium (16.30 Uhr, HS 3.04)
Thema: Das Unsichtbare sichtbar machen ... Visualisierung großer Software-Systeme
15.12.05: R. Knop: Verteidigung der Dissertation (16.00 Uhr, Raum 1.26)
Thema: The Geometry of Moufang sets
22.12.05: Prof. Dr. L. Staiger: Bachelor- und Master-Studiengänge
12.01.06: Dr. M. Lohrey: Omega-automatische Strukturen und Zählquantoren
12.01.06: Prof. Dr. H. Matthies (TU Braunschweig): UZI-Kolloquium (16.15 Uhr, HS 1.26)
Thema: Systeme mit stochastischen Unsicherheiten - Galerkin-Methoden für stochastische partielle Differentialgleichungen
19.01.06: Dr. R. Winter: Hopcroft-Algorithmus zur Minimierung endlicher Automaten
26.01.06: Dr. R. Winter: Hopcroft-Algorithmus zur Minimierung endlicher Automaten
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.
20.01.2006