18.01.2008: Paul Francis (Cornell University),
"Scaling Internet Routing with Legacy Protocols"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme) [more ...]

21.01.2008: Prof. Dr. Reinhard von Hanxleden (Christian-Albrecht Universität, Kiel),
"A Multi-Threaded Reactive Processor"
(Informatik Kolloquium) [more ...]

06.02.2008: Dr. Sandra Zilles (University of Alberta, Edmonton, Canada),
"Iteratives Lernen - formale Grundlagen für effiziente maschinelle Lernverfahren"
(Informatik Kolloquium) [more ...]

25.03.2008: Prof. Dr. Greg Morrisett (Harvard University)
"Ynot: integrating effects with dependent types"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme) [more ...]

04.04.2008: Patrice Godefroid (Microsoft Research)
"Software Model Checking 2.0"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme) [more ...]

11.04.2008: Thomas Ball (Microsoft Research)
"Systematic Testing of Concurrent Programs with CHESS"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme) [more ...]

14.04.2008: Dr. Alexander Pretschner (ETH Zürich),
"Verteilte Nutzungskontrolle"
(Informatik Kolloquium) [more ...]

21.04.2008: Prof. Dr. Bettina Kemme (McGill University, Montreal),
"Adaptable Multi-Tier Architectures"
(Informatik Kolloquium) [more ...]

28.04.2008: Rupak Majumdar (University of California, L.A.)
"Dataflow Analysis for Asynchronous Programs"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme) [more ...]

05.05.2008: Tom Reps (University of Wisconsin and GrammaTech, Inc.)
"WYSINWYX: What You See Is Not What You eXecute"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme) [more ...]

16.05.2008: Byron Cook (Microsoft Research, Cambridge)
"Proving that software eventually does something good"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme) [more ...]

18.06.2008: Maurice Herlihy (Brown University)
"Is Transactional Memory Scalable?"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme) [more ...]

18.07.2008: Rajeev Alur (University of Pennsylvania)
"Architecture-aware Analysis of Concurrent Software"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme) [more ...]

27.10.2008: Prof. Dr. Klaus Tochtermann (Know-Center, Graz),
"Unterstützung von Wissensarbeitern am Wissensarbeitsplatz"
(Informatik Kolloquium) [more ...]

29.10.2008: Gerard Berry (Esterel Technologies)
"The evolution of the synchronous programming model"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme) [more ...]

03.11.2008: Prof. Dr. Johann-Christoph Freytag (Humboldt-Universität zu Berlin),
"Privacy - from accessing databases to location based services"
(Informatik Kolloquium) [more ...]

17.11.2008: Dr. Henrik Loeser (IBM Software Group),
"XML Storage - It's the Flexibility, Stupid!"
(Informatik Kolloquium) [more ...]

24.11.2008: Prof. Dr. Michael Ernst (Massachussetts Institute of Technology),
"Preventing bugs with pluggable type-checking"
(Informatik Kolloquium) [more ...]

27.11.2008: Prof. Dr. Robert Giegerich (Technische Fakultät - Universität Bielefeld),
"Dynamic Programming: More Fun with Product Algebras"
(Informatik Kolloquium) [more ...]

08.12.2008: Prof. Dr. Wolfgang Gessner (FH Nordwestschweiz und Collegium Helveticum Zürich),
"Kognitiv-mentale Dimensionen einer Emotion: Neue Perspektiven für die Androidenkonstruktion"
(Informatik Kolloquium) [more ...]

Lectures and colloquia in the Department of Computer Science. [more ...]

Email to the person in charge of this page (sakdapol@informatik.uni-kl.de) [more ...]