Archiv der Kolloquiumsvorträge

Wenn Sie per E-Mail die Ankündigungen zu den Kolloquiums-Vorträgen erhalten wollen, dann schreiben Sie uns bitte eine kurze E-Mail an sek@zkk.tuwien.ac.at.

Vorträge im Rahmen des Informatik-Kolloquiums

2007

Datum	Vortragende	Thema	Inst.
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	183
20.03.2007	Prof. FREKSA, Universität Bremen	Spatial Cognition: Agents Between Sensation and Reality	127

2006

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

2005

Datum	Vortragende	Thema	Inst.
12.12.2005	Prof. David HAREL, The Weizmann Institute of Science, Israel	A Grand Challenge: Full Reactive Modeling of a Multi-Cellular Animal	188
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	185
20.06.2005	Prof. Herbert EDELSBRUNNER, Duke University, NC, USA	Protein Docking with Elevation	183
09.05.2005	Prof. Roger WATTENHOFER, ETH Zürich, CH	Ad hoc and Sensor Networks	182
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

Datum	Vortragende	Thema	Inst.
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	188/3
02.06.2004	Prof. Dines BJORNER, Technical University of Denmark	"UML"-izing Formal Techniques	184/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	186/1
15.03.2004	Prof. Dieter FELLNER, University of Braunschweig, D	Digital Libraries: What Type Of Documents Should We Be Dealing With?	186/2
22.01.2004	Prof. Wendy HALL, University of Southampton, UK	Hypermedia & the Web: Missing Links	188/3

2003

Datum	Vortragende	Thema	Inst.
24.11.2003	Prof. Grzegorz ROZENBERG, Rijksuniv. Leiden, NL	Gene Assembly in Ciliates: A Splendid Example of Natural Computing	185/2
27.10.2003	Prof. Dr. Cliff B. JONES, University of Manchester, UK	The Early Search for Tractable Ways of Reasoning about Programs	184/1
13.10.2003	Dr. Erich GAMMA, IBM Research Zuerich, Oti Labs, CH	Eclipse: Mehr als nur eine Java IDE	188/3
25.06.2003	Prof. Dr. Frank LEYMANN, IBM Böblingen, D	Web Services: Distributed Applications without Limits	188/3
26.05.2003	Prof. Dr. Dr. h.c. mult. August-Wilhelm SCHEER, DFKI Saarbrücken, D	Business Process Engineering	184/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	183/2
07.04.2003	Prof. Dr. Robert E. BIXBY, Rice University, Houston, Texas, USA	Solving Linear and Integer Programs	186/1
17.03.2003	Prof. Dr. phil.habil. Klaus KORNWACHS, Brandenburg, Techn. Universität Cottbus, D	Mythen, Verheißungen und ein paar Realitäten	187/2

2002

Datum	Vortragende	Thema	Inst.
16.12.2002	Prof. Dr. Erich GRÄDEL, Aachen University of Technology, D	Endliche und unendliche Spiele	184/2
8.11.2002	Prof. Dr. Philip A. BERNSTEIN, Microsoft Research, USA	Generic Model Management: A Database Infrastructure for Schema Manipulation	184/2
17.06.2002	Prof. Dr. Markus GROSS ,ETH Zürich, CH	Facial Surgery Planning and Simulation	186/2
6.05.2002	Prof. Dr. Jack MINKER, University of Maryland, USA	Historical Developments In Computers To The 1950s	184/2
8.04.2002	Prof. Dr. Edmund E. CLARKE, Carnegie Mellon Univ., USA	Grand Challenge: Model Checking	184/2
21.01.2002	Roman PFLUGFELDER, TU Wien, A	Moderne Verkehrsüberwachung mittels Bildverarbeitungstechnologie	183/2

2001

Datum	Vortragende	Thema	Inst.
10.12.2001	Prof. Dr. Manfred PADBERG, New York Univ., USA	Cutting Plane Methods for Mixed-Integer Programming	186/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	186/2
7.05.2001	Dr. Peter FANKHAUSER, GMD-IPSI, D	Die XML Query Algebra: Stand und Herausforderungen	184/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	186/1
11.12.2000	Kevin DRISCOLL, Honeywell, Techn. Center	ARINC-659/SAFEbus-Safety critical systems in the Aerospace Industry

2000

Datum	Vortragende	Thema	Inst.
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	184/1

Home • Kontakt • Webmaster — Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. — Disclaimer.