Informatik-Kolloquium Wintersemester 1998/99

• Donnerstag, den 5. November 1998
  15.00 Uhr Raum 2.089
  Dieter Gawlick
  Oracle Corporation
  Redwood Shores (California)
  Enterprise Application with Oracle8

• Freitag, den 6. November 1998
  11.00 Uhr Raum 1.035
  Prof. Dr. Ernst-Rüdiger Olderog
  Fachbereich Informatik
  Universität Oldenburg
  Entwicklung korrekter zeitkritischer Systeme

• Dienstag, den 10. November 1998
  17.00 Uhr Raum V 20.03
  Prof. Dr. Günter Müller
  Telematik
  Universität Freiburg
  Ansprüche und Erwartungen bei elektronischen Märkten
  Ergebnisse der E-Commerce Enquete

• Dienstag, den 17. November 1998
  17.00 Uhr Raum V 20.03
  Dr. Thomas Wilke
  Universität Kiel
  Die automatentheoretische Methode beim Model-Checking

• Dienstag, den 24. November 1998
  17.00 Uhr Raum V 20.03
  Prof. Dr. Wolfgang Banzhaf
  Universität Dortmund
  Genetisches Programmieren

• Dienstag, den 1. Dezember 1998
  17.00 Uhr Raum V 20.03
  Prof. Dr. Dr. h. c. Yuri Matiyasevich
  Steklov Institute of Mathematics, St. Petersburg
  Humboldt-Forschungspreisträger an der Universität Stuttgart
  Hilbert's Tenth Problem today:
  Main results and open problems
  

• Dienstag, den 15. Dezember 1998
  17.00 Uhr Raum V 20.03
  Prof. Dr. Jochen Ludewig
  Universität Stuttgart
  Informatik als Beruf:
  Beobachtungen auf dem Arbeitsmarkt und drumherum
  

• Dienstag, den 9. Februar 1999
  10.30 Uhr Raum 2.089
  Prof. Dr. Leonard Shapiro
  Portland State University
  Query Optimizer Efficiency in COLUMBIA
  

• Dienstag, den 9. Februar 1999
  17.00 Uhr Raum V 20.03
  Prof. Dr. Leszek Pacholski
  University of Wroclaw
  Set constraints and program analysis
  

[ Informatik-Homepage | Index | Gebäudepläne | Feedback ]