Seminar Theoretische Informatik

WS 1998/99

27.10.98 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann, Institut für Informatik
Busy Beaver

24.11.98 HG 3-68 15:00 Uhr

(Gemeinsam mit der Arbeitsgruppe "Intelligente Systeme")
Prof. Dr. Grigoris Antoniou, Griffith University, Australien
Wissensrepräsentation und Inferenz mit Standardannahmen

08.12.98 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann
Institut für Informatik, Universitüt Leipzig
Dual Ground Tree Transducer

15.12.98 HG 3-68 15:00 Uhr

(Gemeinsam mit dem Lehrstuhl "Intelligente Systeme")
Prof. Dr. Mamoru Kanek
Institute of Policy and Planning Sciences
University of Tsukuba, Ibaraki, Japan
Experiences and False Beliefs in a Game Theoretical Situation
Prof. Dr. Nobu-Yuki Suzuki
Department of Mathematics, Shizuoka University, Japan
Possible world semantics with graded accessibility

05.01.99 HG 3-68 15:00 Uhr

Nguyen Thanh Hai
Institut für Informatik, Universitüt Leipzig
Ontologische und begriffliche Grundlagen der objektorientierten Datenmodellierung

12.01.99 HG 3-68 15:00 Uhr

Dipl.-Inf. Michael Hartwig
Institut für Informatik, Universitüt Leipzig
Funktional-logisches Programmieren / Collecting of Facts

19.01.99 HG 3-68 15:00 Uhr

Dr. John O'Donnell
University of Glasgow
Nondeterminism in Pure Nonstrict Functional Languages

26.01.99 HG 3-68 15:00 Uhr

Leonid Bazhenov
Technische Universität Donezk
Object Oriented and Functional Approaches in Design of Dialog Systems for Massiv Parallel Simulation Environment

02.02.99 HG 3-68 15:00 Uhr

Leonid Bazhenov
Technische Universität Donezk
Parallel Simulation of Dynamic Systems on SIMD supercomputer