Seminar Theoretische Informatik

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

08.04.2003 HG 3-68 11:00 Uhr

Mirko Rahn
Institut für Informatik
Universität Karlsruhe
Universalität der Regel 110. Oder: Wie ein zyklisches Tag-System in Regel 110 simuliert werden kann.

15.04.2003 HG 3-68 11:00 Uhr

Prof.Dr.H.Herre, Dr.H.Tompits, Dr.J.Waldmann
Institut für Informatik
Universität Leipzig
Vorbesprechung zum Plan Sommersemester 2003

29.04.2003 HG 3-68 11:00 Uhr

Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Automatische Terminations-Beweise durch Deleting und Match-Bounded String-Rewriting

06.05.2003 HG 3-68 11:00 Uhr

Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
XML: Definitionen, Anwendungen, Werkzeuge
(empfohlen für Studenten, die Petri-Netze-Projekte implementieren)

13.05.2003 HG 3-68 11:00 Uhr

Dr. H.Tompits
Institut für Informatik
Universität Leipzig
Quantifizierte Boole'sche Formeln für Anwendungen in der Wissensrepräsentation

22.05.2003 HG 3-68 13:30 Uhr

Dr. Sandor Horvath
Fakultät für Informatik
Universität Budapest
Einige Eigenschaften des Periodizitätsgrads von Wörtern

22.05.2003 15:30 Uhr, Ritterstr. 26, Neuer Senatssaal

Informatik-Kolloquium
Institut für Informatik
Universität Leipzig
Ehrenkolloquium zur Emeritierung von Prof. Dr. Siegmar Gerber

27.05.2003 HG 3-68 11:00 Uhr

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

03.06.2003 HG 3-68 11:00 Uhr

Sibylle Schwarz
Institut für Informatik
Universität Leipzig
Mehrwertige Selektor-erzeugte Modelle verallgemeinerter logischer Programme (Fortsetzung)

17.06.2003 HG 3-68 11:00 Uhr

Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Die Ontologie der Zeit

24.06.2003 HG 3-68 11:00 Uhr

Heiko Stamer
Institut für Informatik
Universität Leipzig
Zero-Knowledge-Beweise - Theorie und Anwendung

01.07.2003 HG 3-68 11:00 Uhr

Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Die Ontologie der Zeit (Fortsetzung)

11.07.2003 HS 3, HSG 07:30 Uhr

Dr. Haiko Müller
School of Computing
University of Leeds
Chordale Graphen

Rückblick                                                         

[WS 02/03] [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]