05.01.2010: Dr. Achim Brucker
"Formale Methoden für die modellgetriebene Softwareentwicklung"
(Informatik Kolloquium)

05.01.2010: Swen Jacobs
"Hierarchic Decision Procedures for Verification"
(Informatik Kolloquium)

06.01.2010: Dr. Roland Meyer
"Finite Representations for Reconfigurable Systems"
(Informatik Kolloquium)

06.01.2010: Dr. Steffen Schlager
"Deduktive Verifikation von Java-Programmen"
(Informatik Kolloquium)

07.01.2010: Dr. Marcus Größer
"Effiziente quantitative Analyse probabilistischer nicht-deterministischer Systeme via Partial Order Reduction"
(Informatik Kolloquium)

08.01.2010: Dr. Jan Schwinghammer
"Programmlogik für Sprachen mit höherstufigem Zustand"
(Informatik Kolloquium)

08.01.2010: Dr.Christian Urban
"Verifikation von Programmiersprachen"
(Informatik Kolloquium)

11.01.2010: Marc Shapiro (Université, Pierre et Marie Curi),
"Consistency without concurrency control in large, dynamic system"
(MPI-Kolloquium)

11.01.2010: Pierre Sutra (Université, Pierre et Marie Curi),
"Fault-tolerant partial replication at large-scale"
(MPI-Kolloquium)

18.01.2010: Paul E. Sevinc (Doodle AG),
"Doodle - Aufbau eines Web-Dienstes und einer Web- Firma"
(Informatik Kolloquium)

02.02.2010: Sorelle Friedler (University of Maryland),
"A Sensor-Based Framework for Kinetic Data"
(MPI-Kolloquium)

10.02.2010: George Giorgidze (University of Nottingham),
"Declarative Hybrid Modelling and Simulation in Haskell"
(MPI-Kolloquium)

08.02.2010: Jade Alglave (Inria),
"Fences in Weak Memory Models"
(MPI-Kolloquium)

11.02.2010: Prof. Dr. Wolf-Thilo Balke (TU Braunschweig),
"Intuitive Querying with Preferences: Exploiting Conceptual Knowledge"
(Informatik Kolloquium)

15.02.2010: Jun.-Prof. Dr. Achim Ebert (TU Kaiserslautern),
"Softwareentwicklung für Ingenieure - Ein Überblick mit anschaulichen Beispielen aus der Java-Welt"
(Informatik Kolloquium)

24.02.2010: Nick Benton (Microsoft Research, Cambridge)
"Proving high-level properties of low-level code"
(Vortrag im Rahmen der "Distinguished Lecture Series" des Max Planck Instituts für Software-Systeme)

03.03.2010: Joshua Dunfield (McGill University),
"Verifying Functional Programs with Type Refinements"
(MPI-Kolloquium)

10.03.2010: Roly Perera (University of Birmingham),
"First-order Interactive Programming"
(MPI-Kolloquium)

25.03.2010: Arthur Chargueraud (Inria),
"Formal Program Verification Through Characteristic Formulae"
(MPI-Kolloquium)

10.05.2010: Dr. Nelson Mattos (Google, Vice President for Product & Engineering, Europe, Middle East, and Africa)
"Are there limits to computing opportunities?"
(Informatik Kolloquium)

09.07.2010: Dr. Lars Grunske (Swinburne University of Technology, Melbourne),
"Quantitative Bewertung und Überwachung von Qualitätseigenschaften in sicherheitskritischen eingebetteten Systemen"
(Informatik Sonder-Kolloquium)

09.07.2010: Dr. Kai Lampka (Computer Engineering and Networks Lab (TIK), Zürich),
"Analysis of systems with quantifiable constraints: Fighting abstraction loss and state space explosion"
(Informatik Sonder-Kolloquium)

12.11.2010: Dr. Lucja Kot (Cornell University),
"Entangled queries: an abstraction for declarative data-driven coordination."
(MPI-Kolloquium)

16.11.2010: Dr. Peer-Timo Bremer (LLNL, USA),
"Large-Scale Topological Analysis: Theory and Practice"
(Informatik Kolloquium)

16.11.2010: Dr. Christoph Garth (University of California, Davis),
"Integrationsbasierte und topologische Ansätze in der Visualisierung von Vektorfeldern"
(Informatik Kolloquium)

17.11.2010: Juniorprof. Dr. Heike Jänicke (Universität Heidelberg),
"Visualisierung zeitabhängiger multivariater Daten: Informationstheorie in der Visualisierung"
(Informatik Kolloquium)

17.11.2010: Dr. Mikael Vejdemo Johansson (Standford University, TMSCSCS),
"Persistente Kohomologie und Kreis-werte Koordinaten"
(Informatik Kolloquium)

17.11.2010: Prof. Dr. Satnam Singh (Microsoft Cambridge UK Lab and University of Birmingham),
"Multi-Target Data-Parallel Programming with Accelerator for GPUs, Multicore Processors and FPGAs"
(Informatik Sonderkolloquium)

29.11.2010: Yuri Gurevich (Microsoft Research Redmond),
"Logic, Policy, and Federation in the Cloud"
(MPI-Kolloquium)

07.12.2010: Dr. Sven Apel (Universität Passau)
"Maßgeschneiderte und verlässliche Software für eingebettete Systeme"
(Informatik Sonderkolloquium)

13.12.2010: Prof. Dr.Christian Becker (Universität Mannheim)
"Anwendungsunterstützung im Pervasive Computing: Komponenten, Kontrakte und Koordinaten"
(Informatik Sonderkolloquium)

16.12.2010: Dr. Oliver Bringmann (FZI Forschungszentrum Informatik, Universität Karlsruhe)
"Frühe und schnelle Analyse nicht-funktionaler Eigenschaften eingebetteter Software unter Berücksichtigung der Zielarchitektur"
(Informatik Sonderkolloquium)

17.12.2010: Univ. Prof. Dr. Christoph Grimm (TU Wien, Lehrstuhl Embedded Systems)
"Verfeinerung Analog/Digitaler Systeme"
(Informatik Sonderkolloquium)

20.12.2010: Prof. Dr. Jürgen Teich (Universität Erlangen-Nürnberg)
"Modellbasierter Entwurf, Analyse und Synthese vernetzter eingebetteter Systeme im Automobil"
(Informatik Sonderkolloquium)

22.12.2010: Prof. Dr. Andreas Rausch (TU Clausthal)
"Dynamisch Adaptive und Verlässliche Service-basierte Systeme"
(Informatik Sonderkolloquium)