Nächster Vortrag

Andere Veranstaltungen

• Oberseminar der Theoretischen Informatik
• Oberseminar der Rechnerarchitektur
• Kolloquium "Bildverstehen"
• Kolloquium der Abteilung "Verteilte Systeme"
• Kolloquium der Abteilung "Software Engineering"
• Kolloquium der Zentralen Dienste: Systalk
• Öffentliche Vortragsreihe des ZST: Simulierte Welten
  (jeweils am ersten Dienstag des Monats um 18:00 Uhr)

Informatik-Kolloquium Vorträge

• Mittwoch, den 23. Februar 2005
  16:00 Uhr Hörsaal V 38.01
  Prof. Manindra Agrawal
  Computer Science Department
  Indian Institute of Technology
  Kanpur, India
  PRIMES is in P
  

• Dienstag, den 22. Februar 2005
  17:30 Uhr Hörsaal V 38.02
  Prof. Thomas Wilke
  Institut für Informatik und Praktische Mathematik
  Christian-Albrechts-Universität, Kiel
  Protokollsynthese für Spezifikationen in Wissenslogik
  

• Dienstag, den 15. Februar 2005
  17:30 Uhr Hörsaal V 38.02
  Priv.-Doz. Dr.-Ing. Stephan Rudolph
  Leiter Arbeitsgruppe Ähnlichkeitsmechanik
  Institut für Statik und Dynamik der Luft- und Raumfahrtkonstruktionen
  Universität Stuttgart
  Ingenieurentwurf mit graphenbasierten Entwurfssprachen
  

• Dienstag, den 1. Februar 2005
  18:00 Uhr Hörsaal V 38.02
  Prof. Dr. Michael Schreckenberg
  Institut für Physik
  Universität Duisburg-Essen
  Der Stau im Computer - Grundlagen und Anwendungen von Verkehrssimulationen
  

• Dienstag, den 25. Januar 2005
  17:30 Uhr Hörsaal V 38.02
  Prof. Dr. Martin Glinz
  Institut für Informatik
  Universität Zürich
  Jenseits von UML - Objektmodellierung mit ADORA
  

• Freitag, den 21. Januar 2005
  09:45 Uhr Hörsaal V 38.01
  David Lorge Parnas, P.Eng,
  Ph.D, Dr.h.c., Dr.h.c., FRSC, FACM, FCAE
  SFI Fellow, Professor of Software Engineering
  Director of the Software Quality Research Laboratory (SQRL)
  Faculty of Informatics and Electronics
  University of Limerick, Ireland
  What Software Engineers Should Know: The Core Body of Knowledge
  

• Donnerstag, den 16. Dezember 2004
  17:30 Uhr Hörsaal V 38.02
  Dr. Volker Markl
  IBM Almaden Research Center
  San Jose, CA, USA
  Robust Query Processing through Progressive Optimization
  

• Mittwoch, den 15. Dezember 2004
  11:30 Uhr Hörsaal V 38.04
  Dr. Frank Simon
  SQS Software Quality Systems AG
  Reengineering zur Sicherung der internen Qualität: Konzepte und Erfahrungen bei der Kostensenkung von Wartungsaktivitäten
  

• Dienstag, den 7. Dezember 2004
  18:00 Uhr Hörsaal V 38.02
  Prof. Dr. Ulrich Rüde
  Institut für Informatik
  Friedrich-Alexander-Universität Erlangen-Nürnberg
  Simulieren geht über Probieren
  

• Dienstag, den 30. November 2004
  17:30 Uhr Hörsaal V 38.02
  Prof. Peter Rossmanith
  Lehrgebiet Theoretische Informatik
  RWTH Aachen
  Ein schnellerer Algorithmus zur Berechnung von Steiner-Bäumen
  

• Dienstag, den 16. November 2004
  17:30 Uhr Hörsaal V 38.02
  Prof. Wolfgang Reisig
  Institut für Informatik
  Humboldt-Universität zu Berlin
  Der Beitrag von "Abstract State Machines" zu den Grundlagen der Systemmodellierung
  

• Dienstag, den 9. November 2004
  17:30 Uhr Hörsaal V 38.02
  Yuri Matiyasevich
  St. Petersburg Department of
  Steklov Institute of Mathematics
  of Russian Academy of Sciences
  visiting FMI, Stuttgart
  Diophantine flavour of Kolmogorov complexity
  

• Dienstag, den 2. November 2004
  18:00 Uhr Hörsaal V 38.02
  Prof. Dr. Frank Allgöwer
  Institut für Systemtheorie Technischer Prozesse
  Universität Stuttgart
  Prädiktive Regelung: Mit Simulation zur optimalen Aktion
  

• Donnerstag, den 28. Oktober 2004
  17:30 Uhr Hörsaal V 38.02
  Monika Henzinger
  Director of Research bei Google
  Mountain View, Kalifornien, USA
  The Past, Present, and Future of Web Search Engines
  

• Donnerstag, den 07. Oktober 2004
  16:00 Uhr Hörsaal V 38.02
  Dr. Mohan Kumar
  Department of Computer Science and Engineering
  The University of Texas at Arlington
  Information Acquisition and Dissemination in Mobile and Pervasive Environments
  

• Mittwoch, den 06. Oktober 2004
  15:30 Uhr Seminarraum 0.463
  Prof. Dr. Egon Börger
  Universität Pisa
  Fachbereich Informatik
  A comparative analysis of Java and C#