Jahr 2006
| Basin | |
|
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) |
| Broda | |
| 08.05.2006: Dr. Hellmuth Broda, "Open Systems, Open Source, Open Standards for Open Minds" |
| Cardelli | |
|
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) |
| Cerf | |
|
10.03.2006:
Vinton G. Cerf,
"Tracking the Internet into the 21st Century" (Gemeinsames Kolloquium der TU-Kaiserslautern und der Universität des Saarlandes) |
| Feldmann | |
|
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) |
| Felleisen | |
|
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) |
| Hoare | |
| 14.07.2006: Prof. Tony Hoare, "Compensable Transactions" |
| Krueger | |
| 17.07.2006 : Prof. Ingolf Krüger, "Service-Oriented and Systems Engineering - A Vision for the Automotive Domain" |
| Leino | |
|
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) |
| Lenz | |
|
20.11.06 :
Dr. Richard Lenz (Universität Marburg),
"Evolutionäre Informationssysteme im Gesundheitswesen" (Informatik Kolloquium) |
| Markl | |
|
11.10.2006 :
Volker Markl,
"Learning in Query Optimization"
(Kolloquiumsvortrag im Lehrgebiet Informationssysteme) |
| Mueller | |
|
11.12.06 :
Peter Müller (Department of Computer Science, ETH Zürich),
"Alias Control with Universe Types: Overview and Challenges" (Informatik Kolloquium) |
| Petkov | |
| 11.05.2006: Prof. Nicolai Petkov, "Contour detection by surround suppression of texture" |
| Schinzel | |
| 16.01.2006: Prof. Dr. Britta Schinzel, "Wobei und womit kann Genderforschung Informatik zur Verbesserung der Informatik beitragen?" |
| Schneider | |
|
20.12.06 :
Prof. Klaus Schneider (TU Kaiserslautern),
"Entwurf eingebetteter Echtzeitsysteme mit synchronen Programmiersprachen" (Sonderkolloquium) |
| Shneiderman | |
| 19.06.2006: Prof. Dr. Ben Shneiderman, "Creativity Support Tools: A Grand Challenge" |
| Übergeordnete Seite: Kolloquien | |
| Vorträge und Kolloquien des Fachbereichs Informatik. |
| Feedback | |
| Email an den Verantwortlichen dieser Seite (sakdapol@informatik.uni-kl.de) |

