Seminar Theoretische Informatik


SS 2001


8.3.2001, 11.00-12.30, Felix-Klein-Hörsaal, HG 4-24

Im Rahmen des Graduiertenkollegs Wissensrepräsentation
Intelligent Information Modeling and Management
Prof. Mary-Anne Williams, The University of Newcastle, Australia

4.4.2001, 16 Uhr c.t., Felix-Klein-Hörsaal, HG 4-24

Öffentliche Verteidigung im Rahmen des Promotionsverfahrens von
Herrn Dipl.-Inf. Ho Ngoc Duc
Thema der Arbeit: "Resource-Bounded Reasoning about Knowledge"
10.04.2001 HG 3-68 15:15 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Programmierwettbewerb Connections
12.04.2001 NSG 0-31/32 15:00 Uhr

Dr. J. W. Degen
Institut für Informatik
Universität Erlangen
Im Rahmen des Graduiertenkollegs Wissensrepräsentation
Über formale und materiale Relationen
24.04.2001 HG 3-68 15:15 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Automaten, die auf Bäumen spazierengehen
08.05.2001 HG 3-68 15:15 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Übungsaufgaben automatisch korrigieren  mit  a u t o t o o l
Mittwoch, 16.05.2001 13:15 Uhr, HG 3-68

Prof. Dr. Helmut Seidl
Fachbereich für Informatik
Universität Trier
Baum-Automaten für XML
29.05.2001 HG 3-68 15:15 Uhr

Prof. Dr. S. Gerber
Institut für Informatik
Universität Leipzig
Escher/Haskell
12.06.2001 HG 3-68 15:15 Uhr

Dr. Winfried Kurth, Göttingen
Modellierung des Pflanzenwachstums mit erweiterten Lindenmayer-Systemen
19.06.2001 HG 3-68 15:15 Uhr

Dr. Armin Kühnemann
Institut für Informatik
TU Dresden
Optimierung funktionaler Programme durch Komposition von Tree Transducern
26.06.2001 HG 3-68 15:15 Uhr (verschoben auf 9.10.2001 !)

Dr. R. Hartwig
Institut für Informatik
Universität Leipzig
Hypermengen

[zurück]    


Seitenbetreuer: S. Kotkowskij ,   06.05.2002