 |
|
 |
Fakultät Informatik, Elektrotechnik und Informationstechnik |
|
Informatik-Kolloquium Wintersemester 05/06
|
|
|
 |
 |
 |
|
Verantwortlich:
Prof. Dr. Javier Esparza
|
 |
Veranstaltungsort:
Informatikgebäude
Universitätsstrasse 38
70569 Stuttgart (Campus Vaihingen)
|
 |
Nächster Vortrag
Dienstag, den 14. Februar 2006
16:00 Uhr Hörsaal V 38.02
Prof. Colin Stirling
University of Edinburgh
Higher-order grammars and pushdown automata
|
 |
|
Archiv (seit WS93/94)
|
 |
Andere Veranstaltungen
|
 |
Informatik-Kolloquium Vorträge
(ACHTUNG: Die Liste ist chronologisch in umgekehrter Reihenfolge organisiert!)
- Dienstag, den 14. Februar 2006
16:00 Uhr Hörsaal V 38.02
Prof. Colin Stirling
University of Edinburgh
Higher-order grammars and pushdown automata
- Dienstag, den 07. Februar 2006
16:00 Uhr Hörsaal V 38.02
Prof. Dr. Christoph Grimm
Universität Hannover
Institut für Mikroelektronische Systeme
Fachgebiet Entwurfsautomatisierung
Entwurfsmethodik von analogen und mixed-signal Schaltungen am Beispiel einer
Automotive-Applikation
- Donnerstag, den 02. Februar 2006
16:00 Uhr Hörsaal V 38.02
Prof. Chandrajit Bajaj
Center for Computational Visualization
Department of Computer Sciences
Institute for Computational Engineering and Sciences
University of Texas at Austin
Geometry and Signal Processing for Modeling Molecular and Cell Interactions
- Dienstag, den 24. Januar 2006
16:00 Uhr Hörsaal V 38.02
Dr. Martin Lange
Institut für Informatik
LMU München
Bounded Model Checking for All Regular Properties
- Freitag, den 8. November 2005
16:00 Uhr Hörsaal V 38.02
Dr. Pedro José Marron
IPVS
Universität Stuttgart
Adaptation and Cross-Layer support for Self-Configuring Sensor Networks
- Freitag, den 14. Oktober 2005
13:00 Uhr Hörsaal V 38.03
Prof. Dr. Bernd Simeon
Technische Universität München
Virtuelle Fahrzeuge, schwingende Oberleitungen und Materialien mit Gedächtnis
- Freitag, den 14. Oktober 2005
10:00 Uhr Hörsaal V 38.03
Prof. Dr. Ulrich Rüde
Universität Erlangen-Nürnberg
Parallele Simulation mit Höchstleistungsrechnern
- Donnerstag, den 13. Oktober 2005
16:00 Uhr Hörsaal V 38.03
PD Dr. Alexander Hartmann
Universität Göttingen
Optimierungsalgorithmen in der Physik
- Donnerstag, den 13. Oktober 2005
14:00 Uhr Hörsaal V 38.03
PD Dr.-Ing. Martin Bücker
RWTH Aachen
Automatisches Differenzieren: Informatik-Aspekte mit interdisziplinärem Hintergrund
- Donnerstag, den 13. Oktober 2005
11:00 Uhr Hörsaal V 38.03
Prof. Dr. Peter Bastian
Universität Heidelberg
Distributed and Unified Numerics Environment --- Ein Software-Framework zur Simulation großer kontinuierlicher Systeme
- Donnerstag, den 13. Oktober 2005
09:00 Uhr Hörsaal V 38.03
Prof. Dr. Stefan Turek
Universität Dortmund
Hardware-Oriented Numerics for PDE - High Performance Computing Methods for Technical Simulations
- Mittwoch, den 28. September 2005
10:00 Uhr Hörsaal V 38.03
Prof. Dr. Barbara Hammer
Theoretische Grundlagen der Informatik
TU Clausthal
Prototypen, Kostenfunktionen und Relevanzlernen
- Freitag, den 23. September 2005
16:00 Uhr Hörsaal V 38.03
Dr. Ubbo Visser
Abt. Intelligente Systeme
Universität Bremen
Intelligent tools for the Semantic Web based on qualitative modelling - A new type of query: concept@location in time
- Freitag, den 23. September 2005
14:00 Uhr Hörsaal V 38.03
Prof. Dr. Eyke Hüllermeier
Fakultät für Informatik
Otto-von-Guericke Universität Magdeburg
Fallbasierte Inferenz mittels Ähnlichkeitsprofilen: Ein Beitrag zur methodischen Fundierung des fallbasierten Schließens
- Freitag, den 23. September 2005
11:00 Uhr Hörsaal V 38.03
Dr.-Ing. Gunter Heidemann
Gruppe für Computersehen, Mensch-Maschine Interaktion und taktile Sensorik
AG Neuroinformatik
Universität Bielefeld
Intelligente Mensch-Maschine Kommunikation
- Freitag, den 23. September 2005
09:00 Uhr Hörsaal V 38.03
Dr. Nicol N. Schraudolph
Project Leader,Senior Researcher
National ICT Australia, Canberra
Rapid Stochastic Gradient Descent for Machine Learning
- Donnerstag, den 22. September 2005
14:00 Uhr Hörsaal V 38.03
Prof. Dr. Torsten Schaub
Institut für Informatik
Universität Potsdam
Modellbasiertes Problemlösen mit Antwortmengenprogrammierung
- Donnerstag, den 22. September 2005
11:00 Uhr Hörsaal V 38.03
Dr. Gerhard Weiß
Institut für Informatik
TU München
Interaktionssemantik für (Multi-)Agentensysteme
- Donnerstag, den 22. September 2005
09:00 Uhr Hörsaal V 38.03
Prof. Dr. Michael Thielscher
Computational Logic
Fakultät Informatik
TU Dresden
Wissensbasierte intelligente Systeme
|
 |
| |