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

• Dienstag, den 8. Juli 2003
  17:30 Uhr Hörsaal V 38.02
  Dr. Leo Wanner
  Institut für Intelligente Systeme Universität Stuttgart
  Einsatz von Graphgrammatiken in der automatischen Textsynthese
  

• Montag, den 7. Juli 2003
  17:30 Uhr Hörsaal V 38.02
  Prof. Dr. Christiane Floyd
  Universität Hamburg
  Softwareentwicklung in Verantwortung
  

• Dienstag, den 1. Juli 2003
  16:00 Uhr im Seminarraum 0.463 des neuen Informatikgebäudes Universitätsstraße 38, 70569 Stuttgart
  Susanne Graf
  Assistant Director of VERIMAG Grenoble
  Modelling and validating real-time systems with UML and IF
  

• Mittwoch, den 25. Juni 2003
  14:00 Uhr Hörsaal V 38.03
  Prof. Dr. Craig A. Stewart
  Indiana University und
  Höchstleistungsrechenzentrum Stuttgart
  Computational biology: strategies and challenges
  

• Dienstag, den 24. Juni 2003
  17:30 Uhr Hörsaal V 38.02
  Professor C. Siva Ram Murthy
  Department of Computer Science and Engineering Indian Institute of Technology, Madras, India
  Resource Management in Real-time Systems and Networks
  

• Dienstag, den 17. Juni 2003
  17:30 Uhr Hörsaal V 38.02
  Dr. Robert W. Sebesta
  University of Colorado at Colorado Springs z.Zt. Universität Stuttgart
  Contemporary Programming Language Design
  

• Dienstag, den 10. Juni 2003
  17:30 Uhr Hörsaal V 38.02
  Prof. Dr. Tobias Nipkow
  TU-München
  Proving Pointer Programs in Higher-Order Logic
  

• Dienstag, den 27. Mai 2003
  17:30 Uhr Hörsaal V 38.02
  Madhavan Mukund
  Chennai Mathematical Institute
  Netcharts: Bridging the gap between HMSCs and executable specifications
  

• Mittwoch, den 21. Mai 2003
  9:45 Uhr im Raum 0.124 des neuen Informatikgebäudes Universitätsstraße 38, 70569 Stuttgart
  Dirk Nowotka
  Turku Centre for Computer Science, TUCS, and Department of Mathematics, University of Turku
  Duval's Conjecture
  

• Dienstag, den 20. Mai 2003
  17:30 Uhr Hörsaal V 38.02
  Dr. Markus Lohrey
  FMI, Universität Stuttgart
  Graphen mit entscheidbaren Logiken
  

• Mittwoch, den 7. Mai 2003
  14:00 Uhr Hörsaal V 38.02
  Prof. Dr. Gerauld Senizergues
  Humboldt Forschungspreisträger
  LaBRI, Bordeaux
  Iterated pushdown automata
  and
  sequences of rational numbers.