Informatik, TU Wien

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.

2007

27.11.2007 Prof. HOARE, Microsoft Research Cambridge, Emeritus Professor of Computing at Oxford University Fine-Grain Concurrency  
14.05.2007 Prof. ANDRES, Université de Poitiers Discrete Analytical Geometry: Basis and Applications E183
20.03.2007 Prof. FREKSA, Universität Bremen Spatial Cognition: Agents Between Sensation and Reality E127

2006

19.10.2006 Prof. WEGNER, Brown University, Rhode Island, USA A Prominent Pioneer in Computer Science! E188
08.05.2006 Prof. NYIRI, Ungarische Akademie der Wissenschaften Mobil und Internet: Chat in neuer Tonart E188
20.3.2006 Prof. MAURER, Technische Universität Graz Wie verhindert man den Zusammenbruch des Internets bzw. minimiert mindest dessen Folgen E188

2005

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  

2004

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

2003

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

2002

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

2001

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  

2000

11.12.2000 Prof. Dr. Alan BURNS, Univ. of York, UK Probabilistic Scheduling Guarantees  
20.10.2000 Prof. Dr. Axel van LAMSWEERDE, Univ. of Louvain, B Building Formal Models for Software Requirements E184/1