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)
"Scaling Internet Routing with Legacy Protocols"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme)
21.01.2008:
Prof. Dr. Reinhard von Hanxleden (Christian-Albrecht Universität, Kiel),
"A Multi-Threaded Reactive Processor"
(Informatik Kolloquium)
"A Multi-Threaded Reactive Processor"
(Informatik Kolloquium)
06.02.2008:
Dr. Sandra Zilles (University of Alberta, Edmonton, Canada),
"Iteratives Lernen - formale Grundlagen für effiziente maschinelle Lernverfahren"
(Informatik Kolloquium)
"Iteratives Lernen - formale Grundlagen für effiziente maschinelle Lernverfahren"
(Informatik Kolloquium)
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)
"Ynot: integrating effects with dependent types"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme)
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)
"Software Model Checking 2.0"
(Vortrag im Rahmen der "Distinguished Lecture Series 07/08" des Max Planck Instituts für Software-Systeme)
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)
"Systematic Testing of Concurrent Programs with CHESS"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme)
14.04.2008:
Dr. Alexander Pretschner (ETH Zürich),
"Verteilte Nutzungskontrolle"
(Informatik Kolloquium)
"Verteilte Nutzungskontrolle"
(Informatik Kolloquium)
21.04.2008:
Prof. Dr. Bettina Kemme (McGill University, Montreal),
"Adaptable Multi-Tier Architectures"
(Informatik Kolloquium)
"Adaptable Multi-Tier Architectures"
(Informatik Kolloquium)
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)
"Dataflow Analysis for Asynchronous Programs"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme)
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)
"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)
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)
"Proving that software eventually does something good"
(Vortrag im Rahmen der "Distinguished Lecture Series Spring 2008" des Max Planck Instituts für Software-Systeme)
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)
"Is Transactional Memory Scalable?"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme)
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)
"Architecture-aware Analysis of Concurrent Software"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme)
27.10.2008:
Prof. Dr. Klaus Tochtermann (Know-Center, Graz),
"Unterstützung von Wissensarbeitern am Wissensarbeitsplatz"
(Informatik Kolloquium)
"Unterstützung von Wissensarbeitern am Wissensarbeitsplatz"
(Informatik Kolloquium)
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)
"The evolution of the synchronous programming model"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme)
03.11.2008:
Prof. Dr. Johann-Christoph Freytag (Humboldt-Universität zu Berlin),
"Privacy - from accessing databases to location based services"
(Informatik Kolloquium)
"Privacy - from accessing databases to location based services"
(Informatik Kolloquium)
17.11.2008:
Dr. Henrik Loeser (IBM Software Group),
"XML Storage - It's the Flexibility, Stupid!"
(Informatik Kolloquium)
"XML Storage - It's the Flexibility, Stupid!"
(Informatik Kolloquium)
24.11.2008:
Prof. Dr. Michael Ernst (Massachussetts Institute of Technology),
"Preventing bugs with pluggable type-checking"
(Informatik Kolloquium)
"Preventing bugs with pluggable type-checking"
(Informatik Kolloquium)
27.11.2008:
Prof. Dr. Robert Giegerich (Technische Fakultät - Universität Bielefeld),
"Dynamic Programming: More Fun with Product Algebras"
(Informatik Kolloquium)
"Dynamic Programming: More Fun with Product Algebras"
(Informatik Kolloquium)
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)
"Kognitiv-mentale Dimensionen einer Emotion: Neue Perspektiven für die Androidenkonstruktion"
(Informatik Kolloquium)