Seminar Theoretische Informatik

(Wer Mitteilungen über künftige Seminare erhalten will,
kann sich auf der Mailingliste selbst eintragen)

22.10.2002 HG 3-68 13:00 Uhr

Prof. Dr. S. Gerber / Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Vorbesprechung zum Plan Wintersemester 2002/03

29.10.2002 HG 3-68 11:00 Uhr

Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Nachfolgermengen in Wortersetzungs-Systemen

05.11.2002 & 06.11.2002 9:00 - 18:00 Uhr

Internationale Statustagung "Virtuelle und Erweiterte Realität"
Hotel Ramada-Treff,
Schongauer Str. 39, 04329 Leipzig

12.11.2002 HG 3-68 11:00 Uhr

Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Cernys Vermutung über synchronisierende Automaten

19.11.2002 HG 3-68 11:00 Uhr

Dr. J. Waldmann & Studenten
Institut für Informatik
Universität Leipzig
Neue Autotool-Module für Berechenbarkeit/Komplexität

21.11.2002 13.00 Uhr, Vortragssaal 2.OG

Workshop des Deutschen Fakultätentages Informatik "Virtuelle Hochschulen"
Universitätsbibliothek Leipzig,
Beethovenstr. 2, 04107 Leipzig

26.11.2002 HG 3-68 11:00 Uhr

Prof. Dr. S. Gerber & Studenten
Institut für Informatik
Universität Leipzig
Graph-Ersetzungs-Systeme

03.12.2002 HG 3-68 11:00 Uhr

Sibylle Schwarz
Institut für Informatik
Universität Leipzig
Selektor-erzeugte Modelle logischer Programme

10.12.2002 HG 3-68 11:00 Uhr

Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Neuere Ergebnisse der Formalen Ontologie

17.12.2002 HG 3-68 11:00 Uhr [Weihnachts-Seminar]

Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Falt-Folgen, Rudin-Shapiro-Polynome und Sterne

7.01.2003 HG 3-68 11:00 Uhr

Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Schieberegister, Spiele und endliche Automaten

14.01.2003 HG 3-68 11:00 Uhr

Prof. Dr. Siegmar Gerber
Institut für Informatik
Universität Leipzig
Studienmanagement: Leistungspunktesystem Informatik

21.01.2003 HG 3-68 11:00 Uhr

J.Endrullis, R.Lokaiczyk
Institut für Informatik
Universität Leipzig
Petri-Netze und Überdeckbarkeitsgraphen

28.01.2003 HG 3-68 11:00 Uhr

Stefan Schliebs, Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Haskell/Java-Verbindung für Interaktives Autotool

3.02.2003 HG 3-68 11:00 Uhr

Dr. Dieter Hofbauer
FB Mathematik / Informatik
Universität Kassel
Kontextfreie Baumsprachen und indizierte Wortsprachen

Rückblick                                                         

[SS 02] [WS 01/02] [SS 01] [WS 00/01] [SS 00] [WS 99/00]
[SS 99] [WS 98/99] [SS 98] [WS 97/98] [SS 97]