Dienstags, 14.00 Uhr, Raum 1.29
6.4.04: Planung zum Oberseminar im SS 2004
15.4.04: Fachbereichskolloquium: Donnerstag, 16.15 Uhr, R. 1.26
J. Knoop, TU Wien: Geschwindigkeit ist nicht alles - Neue Herausforderungen im Übersetzerbau
30.4.04: Freitag, 14.15 Uhr, R. 1.29, R. Mazala: Zur Ununterscheidbarkeit von
unendlichen Wörtern durch Prädikatenlogik
4.5.04: Prof. L. Staiger: Minkowski-Dimension, Hausdorff-Dimension, infix-reguläre Wörter
18.5.04: Besprechung zur Vorbereitung der CCA
25.5.04: Weitere Vorbereitungen zur CCA
1.5.04: Weitere Vorbereitungen zur CCA
8.6.04: S. Schwarz: Termersetzungssysteme
22.6.04: Prof. L. Staiger: Infix-reguläre Wörter
29.6.04: Weitere Vorbereitungen zur CCA
S. Schwarz: Selektor-erzeugte Modelle logischer Programme
6.7.04: J. Mielke: Endliche Automaten und disjunktive Sequenzen
13.7.04: P. Weigel: Komplexität der Stickersysteme
15.7.04: Weitere Vorbereitungen zur CCA
16.-20.08.04: CCA - Sixth Workshop on Computability and Complexity in Analysis,
Lutherstadt Wittenberg
CCA
Wittenberg
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.
01.04.2004