Informatik-Kolloquium: Archiv 2000-2007
Hier finden Sie Details zu den Vorträge des Informatik-Kolloquiums aus den Jahren 2000 bis 2007. Aktuelle Vorträge im Rahmen des Kolloquiums finden Sie unter den Aktuelles, vergangene Vorträge aus den Jahren nach 2007 im Archiv.
12.12.2005 |
Prof. David HAREL, The Weizmann Institute of Science, Israel |
A Grand Challenge: Full Reactive Modeling of a Multi-Cellular Animal |
E188 |
20.09.2005 |
Prof. Dr. Egon BÖRGER Università di Pisa, Italien |
Adding a Semantical Foundation for Program Correctness to Hoare's Verifying Compiler Challenge |
E185 |
20.06.2005 |
Prof. Herbert EDELSBRUNNER, Duke University, NC, USA |
Protein Docking with Elevation |
E183 |
09.05.2005 |
Prof. Roger WATTENHOFER, ETH Zürich, CH |
Ad hoc and Sensor Networks |
E182 |
28.02.2005 |
Prof. Lotfi A. ZADEH, University of of California, Berkeley, USA |
Computing with Words and its Applications to Information Processing, Decision and Control |
|
06.12.2004 |
Prof. Britta SCHINZEL, Universitaet Freiburg |
Informatik - Genderforschung Integraler Bestandteil oder verzichtbare Außensicht? |
|
24.09.2004 |
Jim GRAY, ACM Turing Award Winner, Microsoft Research |
On-Line Science: The World-Wide Telescope as a Prototype for the New Computational Science |
E188/3 |
02.06.2004 |
Prof. Dines BJORNER, Technical University of Denmark |
"UML"-izing Formal Techniques |
E184/2 |
10.05.2004 |
Prof. Jozef GRUSKA, Masaryk University Brno |
Quantum Information Processing Versus Complexity Theory |
|
26.04.2004 |
Prof. Peter EADES, University of Sydney + NICTA, Australien |
Visualisation of Relations |
E186/1 |
15.03.2004 |
Prof. Dieter FELLNER, University of Braunschweig, D |
Digital Libraries: What Type Of Documents Should We Be Dealing With? |
E186/2 |
22.01.2004 |
Prof. Wendy HALL, University of Southampton, UK |
Hypermedia & the Web: Missing Links |
E188/3 |
24.11.2003 |
Prof. Grzegorz ROZENBERG, Rijksuniv. Leiden, NL |
Gene Assembly in Ciliates: A Splendid Example of Natural Computing |
E185/2 |
27.10.2003 |
Prof. Dr. Cliff B. JONES, University of Manchester, UK |
The Early Search for Tractable Ways of Reasoning about Programs |
E184/1 |
13.10.2003 |
Dr. Erich GAMMA, IBM Research Zuerich, Oti Labs, CH |
Eclipse: Mehr als nur eine Java IDE |
E188/3 |
25.06.2003 |
Prof. Dr. Frank LEYMANN, IBM Böblingen, D |
Web Services: Distributed Applications without Limits |
E188/3 |
26.05.2003 |
Prof. Dr. Dr. h.c. mult. August-Wilhelm SCHEER, DFKI Saarbrücken, D |
Business Process Engineering |
E184/2 |
12.05.2003 |
Prof. Dr. Franc SOLINA, University of Ljubljana, SLO |
15 Seconds of Fame: Use of Computer Vision in a Modern Art Installation |
E183/2 |
07.04.2003 |
Prof. Dr. Robert E. BIXBY, Rice University, Houston, Texas, USA |
Solving Linear and Integer Programs |
E186/1 |
17.03.2003 |
Prof. Dr. phil.habil. Klaus KORNWACHS, Brandenburg, Techn. Universität Cottbus, D |
Mythen, Verheißungen und ein paar Realitäten |
E187/2 |
16.12.2002 |
Prof. Dr. Erich GRÄDEL, Aachen University of Technology, D |
Endliche und unendliche Spiele |
E184/2 |
08.11.2002 |
Prof. Dr. Philip A. BERNSTEIN, Microsoft Research, USA |
Generic Model Management: A Database Infrastructure for Schema Manipulation |
E184/2 |
17.06.2002 |
Prof. Dr. Markus GROSS ,ETH Zürich, CH |
Facial Surgery Planning and Simulation |
E186/2 |
06.05.2002 |
Prof. Dr. Jack MINKER, University of Maryland, USA |
Historical Developments In Computers To The 1950s |
E184/2 |
08.04.2002 |
Prof. Dr. Edmund E. CLARKE, Carnegie Mellon Univ., USA |
Grand Challenge: Model Checking |
E184/2 |
21.01.2002 |
Roman PFLUGFELDER, TU Wien, A |
Moderne Verkehrsüberwachung mittels Bildverarbeitungstechnologie |
E183/2 |
10.12.2001 |
Prof. Dr. Manfred PADBERG, New York Univ., USA |
Cutting Plane Methods for Mixed-Integer Programming |
E186/1 |
26.11.2001 |
Dr. Gerard LE LANN, INRIA Roquencourt, F |
Is "Asynchronous Real-Time" An Oxymoron (And Why Should You Care)? |
|
18.06.2001 |
Prof. Dr. Daniel THALMANN, EPFL Lausanne, CH |
Virtual Humans: Simulation of Individuals, Groups, and Crowds |
E186/2 |
07.05.2001 |
Dr. Peter FANKHAUSER, GMD-IPSI, D |
Die XML Query Algebra: Stand und Herausforderungen |
E184/2 |
30.04.2001 |
Prof. Dr. Anthony FINKELSTEIN, UCL London, UK |
xlinkit: A Consistency Checking and Smart Link Generation Service |
|
12.03.2001 |
Prof. Dr. Dick KEMMERER, Univ. of California Santa Barbara, USA |
The STAT Intrusion Detection Tool Suite |
|
15.01.2001 |
Prof. Dr. Dr. h.c. mult. Günter HOTZ, Univ. Saarbrücken, D |
Der Informationsbegriff aus Sicht der Informatik |
E186/1 |
11.12.2000 |
Kevin DRISCOLL, Honeywell, Techn. Center |
ARINC-659/SAFEbus-Safety critical systems in the Aerospace Industry |
|