Jahr 2008

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) [mehr ...]
21.01.2008: Prof. Dr. Reinhard von Hanxleden (Christian-Albrecht Universität, Kiel),
"A Multi-Threaded Reactive Processor"
(Informatik Kolloquium) [mehr ...]
06.02.2008: Dr. Sandra Zilles (University of Alberta, Edmonton, Canada),
"Iteratives Lernen - formale Grundlagen für effiziente maschinelle Lernverfahren"
(Informatik Kolloquium) [mehr ...]
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) [mehr ...]
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) [mehr ...]
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) [mehr ...]
14.04.2008: Dr. Alexander Pretschner (ETH Zürich),
"Verteilte Nutzungskontrolle"
(Informatik Kolloquium) [mehr ...]
21.04.2008: Prof. Dr. Bettina Kemme (McGill University, Montreal),
"Adaptable Multi-Tier Architectures"
(Informatik Kolloquium) [mehr ...]
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) [mehr ...]
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) [mehr ...]
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) [mehr ...]
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) [mehr ...]
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) [mehr ...]
27.10.2008: Prof. Dr. Klaus Tochtermann (Know-Center, Graz),
"Unterstützung von Wissensarbeitern am Wissensarbeitsplatz"
(Informatik Kolloquium) [mehr ...]
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) [mehr ...]
03.11.2008: Prof. Dr. Johann-Christoph Freytag (Humboldt-Universität zu Berlin),
"Privacy - from accessing databases to location based services"
(Informatik Kolloquium) [mehr ...]
17.11.2008: Dr. Henrik Loeser (IBM Software Group),
"XML Storage - It's the Flexibility, Stupid!"
(Informatik Kolloquium) [mehr ...]
24.11.2008: Prof. Dr. Michael Ernst (Massachussetts Institute of Technology),
"Preventing bugs with pluggable type-checking"
(Informatik Kolloquium) [mehr ...]
27.11.2008: Prof. Dr. Robert Giegerich (Technische Fakultät - Universität Bielefeld),
"Dynamic Programming: More Fun with Product Algebras"
(Informatik Kolloquium) [mehr ...]
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) [mehr ...]