Informatik-Kolloquium

11.1.95

Bernd Irlenbusch, GMD St. Augustin
,,Entwurf eines Objektspeichers zur Kooperation in verteilten Systemen``

24.1.95

Prof. Cristian Calude, University of Auckland / New Zealand
``What Is a Random String?''

8.2.95

Prof. Dr. M. Jantzen, Universität Hamburg
,,Petrinetze und Matrixgrammatiken``

15.2.95

Dr. Andreas Podelski, Max-Planck-Institut für Informatik, Saarbrücken
,,Über den Vorteil, Dinge logisch zu sehen``

22.2.95

Dr. Torsten Schaub, Technische Hochschule Darmstadt
,,Die Verarbeitung von Anfragen an unvollständige Wissensbasen
mittels Default Logiken``

14.6.95

Prof. Dr. Helmut Balzert, Universität Bochum
,,Vom Fachkonzept zur grafischen Benutzeroberfläche - Von OOA zu GUIs``

21.6.95

Winfried Graf, DFKI Saarbrücken
,,Constraint-basiertes Layout multimedialer Präsentationen``

28.6.95

Dr. Christiane Funken, Universität Freiburg
,,Frauen in der Informatik``

12.7.95

Dr. Stefan Brass, Universität Hannover
,,Anfrageauswertung für Supernormale Default-Theorien``

19.7.95

Prof. Dr. Erwin Pesch
,,Lernen durch Dekomposition am Job Shop Scheduling Problem``

8.9.95

Prof. Bruce Spencer, University of New Brunswick, Canada
``Clause Trees: a tool for automated reasoning''

21.9.95

Prof. Dr. E. Boerger, Universität Pisa, Italien
,,Spezifikation und Verifikation mittels dynamischer Algebren``

25.10.95

Prof. Dr. VS Subrahmanian, University of Maryland, USA
``The HERMES Heterogenous Reasoning and Mediator System''

30.10.95

Dr. Ralf Rehrmann, Universität Gesamthochschule Paderborn
,,Der Durchsatz von gepufferten Multistage Interconnection
Netzwerken - Die Lücke macht's!``

10.11.95

Dr. Cees Witteveen, University of Delft, Niederlande
``Revision of non-monotonic logic programs''

15.11.95

Bertram Ludäscher, Universität Freiburg
``A Logical Framework for Active Rules''

29.11.95

Klaus-Jürgen Quast, GMD St. Augustin
,,Methoden und Techniken der virtuellen Realität (VR)
in medizinischen Anwendungen``

1.12.95

Prof. Dr. Peter Starke, Humboldt-Universität Berlin
,,Zeit-Deadlocks``

13.12.95

Dr. Andreas Schürr, RWTH Aachen
,,Spezifizieren und Programmieren mit Graphersetzungssystemen``

18.12.95

Prof. Ph.D. James A. Bowen, UCC-NUI, Cork, Ireland
``A Constraint-Based Approach to Computer Supported Cooperative Work:
An Example from Concurrent Engineering''