Informatik-Kolloquium Sommersemester 02
Verantwortlich:
Prof. Dr. Volker Diekert
Veranstaltungsort:
Informatikgebäude
Breitwiesenstr. 20-22
70565 Stuttgart (Industriegebiet Möhringen-Vaihingen)
Zum nächsten Vortrag
Archiv (seit WS93/94)
Andere Veranstaltungen
Informatik-Kolloquium Vorträge
(ACHTUNG: Die Liste ist chronologisch in umgekehrter Reihenfolge organisiert!)
- Dienstag, den 16. Juli 2002
17.00 Uhr Raum V 20.03
Prof. Dr. Dirk Reichardt
Berufsakademie Stuttgart
Vom autonomen Fahren zum emotionalen, interaktiven Softwaresystem
- Dienstag, den 9. Juli 2002
17.00 Uhr Raum V 20.03
Dr. Harald Kosch
Institut für Informationstechnologie
Universität Klagenfurt
Indizierung und Suche in verteilten Multimedia-Datenbanksystemen
- Dienstag, den 2. Juli 2002
17.00 Uhr Raum V 20.03
Prof. Dhiraj Pradhan
Department of Computer Science
University of Bristol
Logic Verification -- Recent Advances
- Montag, den 24. Juni 2002
17.00 Uhr Raum V 20.03
Prof. Dr. Erich Grädel
Mathematische Grundlagen der Informatik
der RWTH Aachen
Paritätsspiele und Fixpunktlogiken
- Dienstag, den 18. Juni 2002
17.00 Uhr Raum V 20.03
Herr Jeckle
DaimlerChrysler, Forschungslabor Ulm
Der XML-Schemaansatz als Voraussetzung datenorientierter
XML-Vokabulare der zweiten Generation
- Dienstag, den 11. Juni 2002
17.00 Uhr Raum V 20.03
Prof. Sudhakar Reddy
Department of Electrical and Computer Engineering
University of Iowa, USA
Recent Results on Tests for Delay Faults in Digital Logic
Circuits
- Dienstag, den 7. Mai 2002
17.00 Uhr Raum V 20.03
Dr. Peter Hoffman
Fa. CoCreate (Sindelfingen)
On the design of algorithms for 3d solid modeling
- Montag, den 6. Mai 2002
17.00 Uhr Raum V 20.03
Prof. Dr. Yuri Gurevich
Sr. Researcher at Microsoft Research, Redmond (WA)
and University of Michigan
Executable Specifications at Microsoft
[
Informatik-Homepage |
Index |
Gebäudepläne |
Feedback
]
Impressum