Informatik-Kolloquium SS 94

• Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen

  Prof. Jörg Röhrle

  Fachhochschule Albstadt-Sigmaringen

  Dienstag, 26.04.94, 17.00 Uhr, Raum V 20.03, Breitwiesenstr. 20/22, 70565 Stuttgart-Vaihingen

• Objektorientierte Modellierung von Geschäftsprozessen

  Prof. Dr. Elmar Sinz

  Universität Bamberg

  Dienstag, 03.05.1994, 17.00 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Die Konstruktion von verteilten Automaten zu erkennbaren Spursprachen

  Dipl.-Inform. Henning Reineke

  Fachbereich Informatik, Carl von Ossietzky-Universität Oldenburg

  Donnerstag, 05.05.1994, 15.00 Uhr, Raum V 20.02, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Integrierte Sprach-, Übersetzer- und Hardware-Entwicklung zur Verbesserung der Programmierbarkeit von Parallelrechnern

  Dipl.-Inform. Ernst A. Heinz

  Universität Karlsruhe, IPD,

  Dienstag, 10.05.1994, 15.00 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Arbeitsmarkt Informatik: Struktur, Entwicklung methodische Möglichkeiten

  Dr. Werner Dostal

  Institut für Arbeitsmarkt und Berufsforschung der Bundesanstalt für Arbeit, Nürnberg,

  Dienstag, 17.05.94, 17.00 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Genetische Algorithmen zur Lösung von Ablaufplanungsproblemen

  Dipl.-Inform. Ralf Bruns

  Universität Oldenburg

  Dienstag, 24.05.94, 17 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Zuverlässige Systemspezifikation mit Dynamischen Algebren (Das Beispiel des Lamport's Bakery Algorithmus)

  Prof. Dr. Egon Börger

  Universität Pisa

  Montag, 30.05.1994, 14.00 Uhr, Raum 1.034, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Evolutionäre Algorithmen in Theorie und Praxis

  Dipl.-Inform. Günter Rudolph

  Dienstag, 31.05.1994, 17.00 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Abhängigkeitsgraphen für Nebenläufigkeitsautomaten

  Dr. Dietrich Kuske

  TU Dresden

  Donnerstag, 09.06.1994, 10.15 Uhr, Raum 1.035, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Entwicklungsgeschichte von Datenspeichern

  Prof. Dr. W. Proebster

  TU München

  Dienstag, 28.06.94, 17.00 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Beschreibung von zeitabhängigem Verhalten durch ausdrucksstarke entscheidbare Logiken und Uhrenautomaten

  Dr. Thomas Wilke

  Universität Kiel

  Donnerstag, 30.Juni 1994, 11.00 Uhr, Seminarraum 1.034/1.035, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Rational functions of a free monoid into another

  Prof. Dr. Christian Choffrut

  Université de Paris VI

  Dienstag, 05.07.1994, 17.00 h, Hörsaal V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Zur Berechnungskraft von Threshold-Schaltkreisen kleiner Tiefe - Voting Polynome für AC0-Funktionen

  Dr. habil. Matthias Krause

  Universität Dortmund,

  07.07.1994, 15.00 Uhr, Raum V 20.02, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Kritik der parallelen Komplexitätstheorie

  Prof. Dr. Klaus-Jörn Lange

  Technische Universität München

  07.07.1994, 17.00 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Synchronization and Timing in a Video-On-Demand Environment

  Prof. T.D.C. Little

  Multimedia Communications Lab, Boston University

  Montag, 11.07.1994, 16.30 h, Härsaal V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Transaktionskonzepte in der Fertigung

  Dipl.-Inform. Ursula Schmidt

  Universität Stuttgart, Institut für Paralle und Verteilte Höchstleistungsrechner

  Dienstag, 12.07.1994, 17.00 h, Hörsaal V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen