 |
|
 |
Fakultät Informatik, Elektrotechnik und Informationstechnik |
|
Informatik-Kolloquium Sommersemester 07
|
|
|
 |
 |
 |
|
Verantwortlich:
Prof. Dr. Volker Diekert
|
 |
Veranstaltungsort:
Informatikgebäude
Universitätsstrasse 38
70569 Stuttgart (Campus Vaihingen)
|
 |
Nächster Vortrag
Montag, den 30. Juli 2007
16:00 Uhr Hörsaal V 38.02
Herr Wittkopp
IBM
Entwicklungslabor der IBM Deutschland und dessen Projekte
|
 |
|
Archiv (seit WS93/94)
|
 |
Andere Veranstaltungen
|
 |
Informatik-Kolloquium Vorträge
(ACHTUNG: Die Liste ist chronologisch in umgekehrter Reihenfolge organisiert!)
- Montag, den 30. Juli 2007
16:00 Uhr Hörsaal V 38.02
Herr Wittkopp
IBM
Entwicklungslabor der IBM Deutschland und dessen Projekte
- Mittwoch, den 25. Juli 2007
16:00 Uhr Hörsaal V 38.02
Prof. Subhasish Mitra
Stanford University
California, USA
Robust System Design in Scaled CMOS and Emerging Nanotechnologies
- Freitag, den 6. Juli 2007
15:30 Uhr Hörsaal V 38.04
Dr.-Ing. Frank Padberg
Universität Karlsruhe
Wie viele Fehler enthält meine Software?
- Freitag, den 6. Juli 2007
13:30 Uhr Hörsaal V 38.04
Prof. Dr. Christof Fetzer
TU Dresden
Engineering Dependable Software-Intensive Systems
- Donnerstag, den 5. Juli 2007
17:30 Uhr Hörsaal V 38.04
Prof. Dr. techn. Helmut Veith
TU München
Ptolemäische Abstraktionen zur Analyse verteilter Software
- Donnerstag, den 5. Juli 2007
15:30 Uhr Hörsaal V 38.04
Prof. Dr. Wolfgang Reif
Universität Augsburg
Thema wird noch bekanntgegeben
- Donnerstag, den 5. Juli 2007
13:30 Uhr Hörsaal V 38.04
Prof. Dr. Sabine Glesner
TU Berlin
Programmierung eingebetteter Systeme
- Mittwoch, den 4. Juli 2007
17:30 Uhr Hörsaal V 38.01
Dr. rer. nat. Holger Giese
Universität Paderborn/Universität Potsdam
Modellbasierte Entwicklung zuverlässiger selbst-adaptiver softwareintensiver Systeme
- Mittwoch, den 4. Juli 2007
15:30 Uhr Hörsaal V 38.01
Ph. D. Aad van Moorsel
University of Newcastle, UK
Quantification of Trust
- Mittwoch, den 4. Juli 2007
13:30 Uhr Hörsaal V 38.01
Dr. rer. nat. Armin Biere
Institut für Formale Modelle und Verifikation
Johannes-Kepler-Universität, Linz
Modellieren, Simulieren, Implementieren, Verifizieren
- Mittwoch, den 4. Juli 2007
16:00 Uhr Hörsaal V 38.03
Dipl-Inf. Pascal Montag
DaimlerChrysler AG
Group Research / Software Structures (GR/ESS)
Timing Oriented Application Development - Ein durchgängiger
Entwicklungsansatz zur Zeitverifikation Eingebetteter Echtzeitsysteme
- Dienstag, den 26. Juni 2007
16:00 Uhr Hörsaal V 38.02
Andreas Gerstlauer
Center for Embedded Computer Systems
University of California, Irvine, USA
Embedded Processors and RTOS Modeling for Rapid,
Early MPSoC Design and Validation
- Dienstag, den 19. Juni 2007
14:30 Uhr Hörsaal V 38.03
Prof. Wil van der Aalst
Department of Mathematics & Computer Science
Technische Universiteit Eindhoven (TU/e)
Reality is not always what it seems!
Using process mining and conformance checking to find out what is really going on in your organization/system
- Dienstag, den 22. Mai 2007
17:30 Uhr Hörsaal V 38.02
Pierre McKenzie
Université de Montréal
Canada
The complexity of Solitaire
- Montag, den 14. Mai 2007
14:00 Uhr Hörsaal V 38.02
Dr. Carsten Dachsbacher
INRIA, Sophia Antipolis, Frankreich
Rendering von komplexen Szenen und globale Beleuchtungssimulation
- Montag, den 14. Mai 2007
11:15 Uhr Hörsaal V 38.01
Dr. Timo Ropinski
Westfälische Wilhelms-Universität Münster
Interaktive Volumenillumination mit diffuser Interreflexion und Streuung
- Montag, den 14. Mai 2007
09:00 Uhr Hörsaal V 38.02
Dr. Tim Weyrich
Princeton University, USA
Reflexionsakquisition und realistische Bilderzeugung am Beispiel menschlicher Gesichter
- Freitag, den 11. Mai 2007
14:00 Uhr Hörsaal V 38.03
Dr. Jens Krüger
Technische Universität München
Echtzeitgrafik
- Freitag, den 11. Mai 2007
11:15 Uhr Hörsaal V 38.03
Dr. Markus Hadwiger
VRVis Research Center, Wien
Echtzeit Rendering und Verarbeitung von Volumendaten
- Freitag, den 11. Mai 2007
09:00 Uhr Hörsaal V 38.04
Dr. Jan Bender
Universität Karlsruhe
Impulsbasierte Dynamiksimulation in der Computergraphik
- Montag, den 7. Mai 2007
15:45 Uhr Raum 0.108
Mario A. Nascimento
Department of Computing Science
University of Alberta
Edmonton, Alberta, Canada
A Practical Index Technique for Spatio-Temporal Data
- Dienstag, den 17. April 2007
17:30 Uhr Hörsaal V 38.02
Robert Osfield
Project Lead, OpenSceneGraph Project
Proprietor, OpenSceneGraph Professional Services
OpenSceneGraph -- Perspectives and Projections
|
 |
| |