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)
• Ringvorlesung: Aspekte kontextbezogener Systeme (SS '05)

Informatik-Kolloquium Vorträge

• Dienstag, den 12. Juli 2005
  16:00 Uhr Hörsaal V 38.02
  Prof. Dr. Joost-Pieter Katoen
  Lehrstuhl für Informatik II
  RWTH Aachen
  Model Checking Meets Performance Evaluation
  

• Dienstag, den 05. Juli 2005
  18:00 Uhr Hörsaal V 38.02
  Prof. Dr. Ulrich Langer
  Institut für rechnergestützte Mathematik
  Johannes-Kepler-Universität Linz
  Virtuelle elektromagnetische Welten
  

• Montag, den 04. Juli 2005
  17:30 Uhr Hörsaal V 38.02
  Didier Caucal
  Institut de Recherche en Informatique es Systèmes Aléatoires (IRISA)
  Centre Nationale de la Recherche Scientifique (CNRS)
  Rennes, Frankreich
  Titel wird noch bekannt gegeben

• Dienstag, den 07. Juni 2005
  18:00 Uhr Hörsaal V 38.02
  Prof. Dr. Oskar von Stryk
  Fachgebiet Simulation und Systemoptimierung
  Technische Universität Darmstadt
  Laufende Roboter, Elchtest und Formel 1: Simulationsbasierte Optimierung und Steuerung im dynamischen Grenzbereich
  

• Dienstag, den 31. Mai 2005
  16:00 Uhr Hörsaal V 38.02
  Dr. Nir Piterman
  Models and Theory of Computation (MTC)
  Ecole Polytechnique Fédérale de Lausanne (EPFL)
  An Automata-Theoretic Approach to Sequential Infinite-State Systems
  

• Freitag, den 27. Mai 2005
  16:00 Uhr Hörsaal V 38.03
  Professor Aart Middeldorp
  Institut für Informatik
  Universität Innsbruck, Österreich
  Dependency Pairs and All That
  

• Mittwoch, den 11. Mai 2005
  17:00 Uhr Hörsaal V 38.01
  Dr. James Rumbaugh
  IBM Distinguished Engineer
  Changing Business and Software
  

• Freitag, den 06. Mai 2005
  14:15 Uhr Raum 0.108
  Gordon Erlebacher
  Florida State University
  USA
  First Order Linear Differential Equations in Associative Algebras
  

• Dienstag, den 03. Mai 2005
  18:00 Uhr Hörsaal V 38.02
  Dr. Wolfgang Holtkamp
  Institut für Literaturwissenschaft
  Universität Stuttgart
  Amerikanische Simulationen. Hyperfiktion und Hyperkultur der USA
  

• Dienstag, den 12. April 2005
  17:30 Uhr Hörsaal V 38.02
  Prof. Christoph Bussler
  National University of Ireland, Galway
  and
  Executive Director of the Digital Enterprise Research Institute (DERI)
  Semantic Interfaces of Web Services