Seminar Theoretische Informatik

WS 2001/02

09.10.2001 HG 3-68 15:15 Uhr

17.10.2001 Hörsaalgebäude, Hörsaal 6 16:00 Uhr: Prof. Uwe Petermann
FB IMN, HTWK-Leipzig
Praktische Programmverifikation

30.10.2001 HG 3-68 13:00 Uhr: Dr. R. Hartwig
Institut für Informatik
Universität Leipzig
Hypermengen und Gleichungen

06.11.2001 HG 3-68 13:00 Uhr: Prof. Dr. S. Gerber
Institut für Informatik
Universität Leipzig
Bericht über die 31. GI-Jahrestagung in Wien vom 25.-28. September
Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit

13.11.2001 HG 4-24 (Felix-Klein-Hörsaal) 17:00 Uhr: Dr. Markus Holzer
Institut für Informatik
Technische Universität München
Moleküle bauen ist schwer

20.11.2001 HG 3-68 13:00 Uhr: Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Bericht über die FOIS-2001 Tagung

3.12.2001 HG 3-68 13:00 Uhr: Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Vertex-Cover-Algorithmus von Ngonga

18.12.2001 HG 3-68 13:00 Uhr: Jens Frauenschläger
Institut für Informatik
Universität Leipzig
Parallelisierungsstrategien in der funktionalen Programmierung

15.01.2002 HG 3-68 13:00 Uhr: Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Wort-Ersetzungs-Systeme und Kontextfreie Sprachen

17.01.2002 HS 1, 17:00 - 18:30 Uhr: Herr Georg Snatzke
Institut für Angewandte Mathematik
Universität Jena
Wärmelehre für Kombinatorische Spiele

22.01.2002 HG 3-68 13:00 Uhr: Sebastian Lange
Institut für Informatik
Universität Leipzig
Spezifikationssprache Z

22.01.2002 17:00 - 19:00 Uhr, Seminargebäude, 1. Etage Süd, Video-Raum: Prof. Dr. Ingo Althöfer
Institut für Angewandte Mathematik
Universität Jena
Erfolgreiche Mensch-Computer-Teams
in kombinatorischen Spielen

Mittwoch, 23.01.2002, 17.00 - 18.30 Uhr, SG 2-39/40: Im Rahmen des Graduiertenkollegs Wissensrepräsentation
Prof. Barry Smith, Träger des Wolfgang-Paul Preises
Granularität und Wissensrepräsentation

Seitenbetreuer: S. Kotkowskij , 06.05.2002