Informatik-Kolloquium Vorträge
(ACHTUNG: Die Liste ist chronologisch in umgekehrter Reihenfolge organisiert!)
- Dienstag, den 12. Juli 2005
16:00 Uhr Hörsaal V 38.02
Prof. Dr. Joost-Pieter Katoen
Lehrstuhl für Informatik II
RWTH Aachen
Model Checking Meets Performance Evaluation
- Dienstag, den 05. Juli 2005
18:00 Uhr Hörsaal V 38.02
Prof. Dr. Ulrich Langer
Institut für rechnergestützte Mathematik
Johannes-Kepler-Universität Linz
Virtuelle elektromagnetische Welten
- Montag, den 04. Juli 2005
17:30 Uhr Hörsaal V 38.02
Didier Caucal
Institut de Recherche en Informatique es Systèmes Aléatoires (IRISA)
Centre Nationale de la Recherche Scientifique (CNRS)
Rennes, Frankreich
Titel wird noch bekannt gegeben
- Dienstag, den 07. Juni 2005
18:00 Uhr Hörsaal V 38.02
Prof. Dr. Oskar von Stryk
Fachgebiet Simulation und Systemoptimierung
Technische Universität Darmstadt
Laufende Roboter, Elchtest und Formel 1:
Simulationsbasierte Optimierung und Steuerung im dynamischen Grenzbereich
- Dienstag, den 31. Mai 2005
16:00 Uhr Hörsaal V 38.02
Dr. Nir Piterman
Models and Theory of Computation (MTC)
Ecole Polytechnique Fédérale de Lausanne (EPFL)
An Automata-Theoretic Approach to Sequential Infinite-State Systems
- Freitag, den 27. Mai 2005
16:00 Uhr Hörsaal V 38.03
Professor Aart Middeldorp
Institut für Informatik
Universität Innsbruck, Österreich
Dependency Pairs and All That
- Mittwoch, den 11. Mai 2005
17:00 Uhr Hörsaal V 38.01
Dr. James Rumbaugh
IBM Distinguished Engineer
Changing Business and Software
- Freitag, den 06. Mai 2005
14:15 Uhr Raum 0.108
Gordon Erlebacher
Florida State University
USA
First Order Linear Differential Equations in Associative Algebras
- Dienstag, den 03. Mai 2005
18:00 Uhr Hörsaal V 38.02
Dr. Wolfgang Holtkamp
Institut für Literaturwissenschaft
Universität Stuttgart
Amerikanische Simulationen. Hyperfiktion und Hyperkultur der USA
- Dienstag, den 12. April 2005
17:30 Uhr Hörsaal V 38.02
Prof. Christoph Bussler
National University of Ireland, Galway
and
Executive Director of the Digital Enterprise Research Institute (DERI)
Semantic Interfaces of Web Services
|