Seminar Theoretische Informatik

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

09.04.2002 HG 3-68 13:15 Uhr

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

16.04.2002 HG 3-68 13:15 Uhr

Matthias Adler
Mathematisches Institut
Universität Leipzig
Partitionszahlen für Graphen

23.04.2002 HG 3-68 13:15 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Term-Ersetzungs-Spiele I

30.04.2002 HG 3-68 13:15 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Term-Ersetzungs-Spiele II

07.05.2002 HG 3-68 13:15 Uhr

Prof. Dr. H. Herre
Institut für Informatik
Universität Leipzig
Bericht über den Workshop Ontological Spring

14.05.2002 HG 3-68 13:15 Uhr

Till Dörges
Institut für Informatik
Universität Leipzig
Unendliche Reduktionen in der Kombinatorischen Logik

28.05.2002 HG 3-68 13:15 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Typen und Programmiersprachen

04.06.2002 HG 3-68 13:15 Uhr

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

11.06.2002 HG 3-68 13:15 Uhr

Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Typsysteme für Programmiersprachen

18.06.2002 HG 3-68 13:15 Uhr

Dr. J. Waldmann
Institut für Informatik
Universität Leipzig
Kalküle für Objekte

25.06.2002 10.00-19.30 Uhr

Gebäude der Deutschen Telekom Fachhochschule in
Gustav-Freytag-Str. 43-45, 04277 Leipzig
LIV-Jahrestagung 2002 unter dem Motto:
Wissen-schaf[f]t Wirtschaft: Technologien mobiler Kommunikation

02.07.2002 HG 3-68 13:15 Uhr

Daniel Breest
Institut für Informatik
Universität Leipzig
Petri-Netze und Automaten

09.07.2002 HS 6 14:00 Uhr (Vortrag im Graduiertenkolleg)

Thomas Mormann
Dept. of Logic and Philosophy of Science
University of the Basque County
Mereologie und Topologie: Repräsentation und Vervollständigung

31.07.2002 HG 3-68 10:00 Uhr

Herr Dr. Alfons Geser
NASA Langley Research Center
Termination und Schleifen in 1-Regel Wortersetzung

Rückblick                                                         

[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]