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 11. Februar 2004
  16:00 Uhr Hörsaal V 38.02
  Prof. Dr. Gustavo Alonso
  Department of Comp. Science
  ETH Zürich
  Software Adaptation in Pervasive Computing
  

• Dienstag, den 3. Februar 2004
  18:00 Uhr Hörsaal V 38.02
  Prof. Dr. Heiner Igel
  Abteilung für Geo- und Umweltwissenschaften
  Ludwig-Maximilians-Universität München
  Simulation von Erdbeben auf Supercomputern
  

• Dienstag, den 27. Januar 2004
  17:30 Uhr Hörsaal V 38.02
  ao. Univ. Prof. Helmut Veith
  TU München
  Theoretische Informatik und Grundlagen der Künstlichen Intelligenz
  Software Verification in MAGIC
  

• Dienstag, den 20. Januar 2004
  17:30 Uhr Hörsaal V 38.02
  Barbara König
  Universität Stuttgart
  Analyse und Verifikation von Systemen mit dynamischen Strukturveränderungen
  

• Mittwoch, den 14. Januar 2004
  13:00 Uhr Hörsaal V 38.02
  Dr. Andreas Koch
  Technische Universität Braunschweig
  Abteilung Entwurf integrierter Schaltungen
  Adaptive Rechensysteme - Architekturen und Werkzeuge
  

• Freitag, den 9. Januar 2004
  17:30 Uhr Hörsaal V 38.01
  Dr.-Ing. Edwin Naroska
  Lehrstuhl für Datenverarbeitungssysteme
  Universität Dortmund
  Heterogene, drahtlos vernetzte eingebettete Systeme
  

• Freitag, den 9. Januar 2004
  15:15 Uhr Hörsaal V 38.01
  Dr. Ulrich Heinkel
  Lucent Technologies, Nürnberg
  Entwurf komplexer Systeme im Bereich der Telekommunikation
  

• Freitag, den 9. Januar 2004
  13:00 Uhr Hörsaal V 38.01
  PD Dr. techn. Marco Platzner
  Computer Engineering and Networks Lab
  Swiss Federal Institute of Technology (ETH) Zurich, Switzerland
  Operating System Approaches for Reconfigurable Embedded Systems
  

• Mittwoch, den 7. Januar 2004
  17:30 Uhr Hörsaal V 38.02
  Dr.-Ing. Marco Winzker
  Silicon Optix GmbH, Hannover
  System-on-Chip Entwurf eines Display Controllers
  

• Mittwoch, den 7. Januar 2004
  15:15 Uhr Hörsaal V 38.02
  Dr. Martin Radetzki
  sci-worx GmbH, Hannover
  System-on-Chip-Entwurf mit IP Cores
  

• Mittwoch, den 7. Januar 2004
  13:00 Uhr Hörsaal V 38.02
  PD Dr.-Ing. Thomas Längle
  Universität Karlsruhe
  Institut für Prozessrechentechnik, Automation und Robotik
  Zur Rekonfigurierbarkeit und Zuverlässigkeit eingebetteter Automatisierungssysteme
  

• Dienstag, den 9. Dezember 2003
  17:30 Uhr Hörsaal V 38.02
  Prof. Dr.-Ing. Dr. h. c. Theo Härder
  Univ. Kaiserslautern
  Datenbank-Caching - Neue Technik für die DB-Middleware
  

• Dienstag, den 2. Dezember 2003
  18:00 Uhr Hörsaal V 38.02
  Prof. Dr.Ing. Rainer Helmig
  Institut für Wasserbau
  Universität Stuttgart
  Modellierung des Ausbreitungsverhaltens umwelt- und klimagefährdender Gase im Untergrund
  

• Dienstag, den 2. Dezember 2003
  13:00 Uhr Seminarraum 0.108
  Prof. Dr. Max Mühlhäuser
  Technische Universität Darmstadt
  Ist eLearning nach vierzig Jahren endlich 'brauchbar'?
  

• Dienstag, den 2. Dezember 2003
  10:45 Uhr Seminarraum 0.108
  Prof. Dr. Gabi Dreo Rodosek
  Institut für Informatik der Ludwig-Maximilians-Universität
  Leibniz-Rechenzentrum der BAdW
  Ganzheitliche Betrachtung des IT-Dienstmanagements
  

• Montag, den 1. Dezember 2003
  17:30 Uhr Hörsaal V 38.02
  Dr.-Ing. Matthias L. Hemmje
  Fraunhofer IPSI
  Forschungsbereich für Virtuelle Informations- und Wissensumgebungen
  Darmstadt
  Unterstützung von Meta-Suchen im Web durch dynamische Generierung von adaptiven Anfrageschnittstellen mit Constraint-basierter Anfrageübersetzung
  

• Montag, den 1. Dezember 2003
  15:15 Uhr Hörsaal V 38.02
  Dr. Stefan Lenz
  BMW
  München
  Weiterentwicklung der Rechenzentren in modernen Unternehmen - von der Technologieorientierung zu integrierten IT-Dienstleistern
  

• Montag, den 1. Dezember 2003
  13:00 Uhr Hörsaal V 38.02
  Dr. Jörg Müller
  Siemens AG Corporate Technology
  München
  Dezentrale Dienstearchitekturen und semantische Interoperabilität durch Agenten- und Peer-to-Peer-Technologien
  

• Donnerstag, den 27. November 2003
  12:00 Uhr Seminarraum 0.108
  Dr. Marcel Waldvogel
  IBM Research, Zurich Research Laboratory, Rüschlikon
  Schweiz
  Sichere große Speichersysteme durch Peer-to-Peer-Technologie
  

• Mittwoch, den 26. November 2003
  17:30 Uhr Hörsaal V 38.02
  Dr. Ralf Lämmel
  CWI & VU Amsterdam, Niederlande
  Towards an engineering discipline for grammarware
  

• Dienstag, den 4. November 2003
  18:00 Uhr Hörsaal V 38.02
  Prof. Dr. Hans-Peter Seidel
  Computer Graphics Group
  Max Planck Institut für Informatik
  Saarbrücken
  Erzeugung hochqualitativer virtueller 3D-Szenen
  

• Dienstag, den 21. Oktober 2003
  17:30 Uhr Hörsaal V 38.02
  Prof. Dr. Armin Biere
  Computer Systems Institute, ETH Zürich
  Herausforderung Formale Verifikation