Bisherige Vorträge im WS 94/95

• Efficient verification of concurrent programs
  Dr. Doron Peled
  AT&T Bell Laboratories
  Montag, 10.10.1994, 15 Uhr, Seminarraum 1.035, Breitwiesenstr. 20-22, 70565 Stuttgart

• Repräsentation und Vorbereitung qualitativer temporaler Information
  Prof. Dr. Bernhard Nebel
  Universitäa;t Ulm, Fakultät Informatik
  Dienstag, 18.10.1994, 17.00 h, Hörsaal V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Gibt es strukturelle Benachteiligungen von Frauen im Informatik-Studium ? - zum Curriculum Informatik
  Prof. Dr. Britta Schinzel
  Institut für Informatik und Gesellschaft der Universität Freiburg
  Dienstag, 25.10.1994, 17.00 h, Hörsaal V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• Software Engineering und Wissensverarbeitung
  Prof. Dr. Otthein Herzog Universität Bremen
  Dienstag, 08.11.1994, um 17.00 h, Hörsaal V 20.03, Breitwiesenstr. 20-22, Industriegebiet Möhringen - Vaihingen, 70565 Stuttgart

• Simulation und Visualisierung neuronaler Netze und genetischer Algorithmen mit NeuroGraph
  Dr. Peter Wilke
  Universität Erlangen-Nürnberg
  Mittwoch, 09.11.1994, 17.00 h, im Hörsaal V 20.03, Breitwiesenstr. 20-22, im Industrie Möhringen-Vaihingen, 70565 Stuttgart

• Genetische Algorithmen und ihre Parallelisierung
  Dipl.-Inform. Markus Schwehm
  Universität Erlangen-Nürnberg
  Dienstag, 15.11.1994, 17.00 h, Hörsaal V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart-Vaihingen

• The Complexity of Computing over Quasigroups
  Dr. Francois Lemieux
  School of Computer Science, McGill University, Montréal (Québec) Canada
  Montag, 05.12.1994, 14 Uhr, Seminarraum 1.040, Breitwiesenstr. 20-22, 70565 Stuttgart

• ArabTeX, eine Erweiterung von LaTeX zur Verarbeitung semitischer Texte
  Prof. Dr. Klaus Lagally
  Universität Stuttgart, Institut für Informatik
  Dienstag, 06.12.1994, 16.45 Uhr, Hörsaal V 20.03, Breitwiesenstr. 20-22, Industriegebiet Möhringen-Vaihingen, 70565 Stuttgart

• Bisimulationsäquivalenzen und ihre Entscheidbarkeit
  Dr. Astrid Kiehn
  Technische Universität München, Fakultät für Informatik
  Donnerstag, 15.12.1994, 10.15 h, Raum 1.039, Breitwiesenstr. 20-22, 70565 Stuttgart (Industriegebiet Moehringen-Vaihingen)

• Lehr- und Forschungsgebiete der Abteilung "Integrierter Systementwurf"
  Prof. Dr.-Ing. Utz G. Baitinger
  Universität Stuttgart, Institut für Parallele und Verteilte Höchstleistungsrechner
  Dienstag, 24. Januar 1995, 16.45 Uhr, Hörsaal V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart (Möhringen)

• Rethinking Education and Computing Environments from a Lifelong Learning Perspective
  Prof. Dr. Gerhard Fischer
  University of Colorado at Boulder und Technische Hochschule Darmstadt
  Dienstag, 31.01.1995, 17.00 Uhr, Raum V 20.03 Breitwiesenstr. 20-22, 70565 Stuttgart (Industriegebiet Möhringen-Vaihingen)

• Nonfunctional Requirements and Benchmarking in the Development of Application Software
  Prof. Alfs T. Berztiss
  Department of Computer Science, University of Pittsburgh, Pittsburgh, P.A
  Dienstag, 07.03.1995, 17.00 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart (Industriegebiet Möhringen-Vaihingen)

• Intelligent Learning Environments (ILE) for Programming: Integration and Adaption
  Dr. Peter Brusilovsky
  International Centre of Scientic and Technical Information, Moskau, Department of Cognitive Psychology of Trier, Universität Trier,
  Dienstag, 14.03.1995, 17.00 Uhr, Raum V 20.03, Breitwiesenstr. 20-22, 70565 Stuttgart (Industriegebiet Möhringen-Vaihingen)