29.03.2006:
Prof. David Basin,
"From Security Protocols to Secure Systems"
(Vortrag im Rahmen der "MPI-Kolloquium Series Distinguished Speaker" des Max Planck Instituts für Software-Systeme)
(Vortrag im Rahmen der "MPI-Kolloquium Series Distinguished Speaker" des Max Planck Instituts für Software-Systeme)
08.05.2006:
Dr. Hellmuth Broda,
"Open Systems, Open Source, Open Standards for Open Minds"
23.03.2006:
Luca Cardelli,
"Biological Systems as Reactive Systems"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2006" des Max Planck Instituts für Software-Systeme)
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2006" des Max Planck Instituts für Software-Systeme)
10.03.2006:
Vinton G. Cerf,
"Tracking the Internet into the 21st Century"
(Gemeinsames Kolloquium der TU-Kaiserslautern und der Universität des Saarlandes)
(Gemeinsames Kolloquium der TU-Kaiserslautern und der Universität des Saarlandes)
27.03.2006:
Anja Feldmann,
"Reverse engineering the Internet: inter-domain topology and ab/use"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2006" des Max Planck Instituts für Software-Systeme)
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2006" des Max Planck Instituts für Software-Systeme)
30.03.2006:
Matthias Felleisen
"Interfaces and Contracts"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2006" des Max Planck Instituts für Software-Systeme)
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2006" des Max Planck Instituts für Software-Systeme)
14.07.2006:
Prof. Tony Hoare,
"Compensable Transactions"
17.07.2006 :
Prof. Ingolf Krüger,
"Service-Oriented and Systems Engineering - A Vision for the Automotive Domain"
20.03.2006:
Rustan Leino
"The Spec# Programming System"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2006" des Max Planck Instituts für Software-Systeme)
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2006" des Max Planck Instituts für Software-Systeme)
20.11.06 :
Dr. Richard Lenz (Universität Marburg),
"Evolutionäre Informationssysteme im Gesundheitswesen"
(Informatik Kolloquium)
"Evolutionäre Informationssysteme im Gesundheitswesen"
(Informatik Kolloquium)
11.10.2006 :
Volker Markl,
"Learning in Query Optimization"
(Kolloquiumsvortrag im Lehrgebiet Informationssysteme)
(Kolloquiumsvortrag im Lehrgebiet Informationssysteme)
11.12.06 :
Peter Müller (Department of Computer Science, ETH Zürich),
"Alias Control with Universe Types: Overview and Challenges"
(Informatik Kolloquium)
"Alias Control with Universe Types: Overview and Challenges"
(Informatik Kolloquium)
11.05.2006:
Prof. Nicolai Petkov,
"Contour detection by surround suppression of texture"
16.01.2006:
Prof. Dr. Britta Schinzel,
"Wobei und womit kann Genderforschung Informatik zur Verbesserung der Informatik beitragen?"
20.12.06 :
Prof. Klaus Schneider (TU Kaiserslautern),
"Entwurf eingebetteter Echtzeitsysteme mit synchronen Programmiersprachen"
(Sonderkolloquium)
"Entwurf eingebetteter Echtzeitsysteme mit synchronen Programmiersprachen"
(Sonderkolloquium)
19.06.2006:
Prof. Dr. Ben Shneiderman,
"Creativity Support Tools: A Grand Challenge"