Jahr 2010

05.01.2010: Dr. Achim Brucker
"Formale Methoden für die modellgetriebene Softwareentwicklung"
(Informatik Kolloquium) [mehr ...]
05.01.2010: Swen Jacobs
"Hierarchic Decision Procedures for Verification"
(Informatik Kolloquium) [mehr ...]
06.01.2010: Dr. Roland Meyer
"Finite Representations for Reconfigurable Systems"
(Informatik Kolloquium) [mehr ...]
06.01.2010: Dr. Steffen Schlager
"Deduktive Verifikation von Java-Programmen"
(Informatik Kolloquium) [mehr ...]
07.01.2010: Dr. Marcus Größer
"Effiziente quantitative Analyse probabilistischer nicht-deterministischer Systeme via Partial Order Reduction"
(Informatik Kolloquium) [mehr ...]
08.01.2010: Dr. Jan Schwinghammer
"Programmlogik für Sprachen mit höherstufigem Zustand"
(Informatik Kolloquium) [mehr ...]
08.01.2010: Dr.Christian Urban
"Verifikation von Programmiersprachen"
(Informatik Kolloquium) [mehr ...]
11.01.2010: Marc Shapiro (Université, Pierre et Marie Curi),
"Consistency without concurrency control in large, dynamic system"
(MPI-Kolloquium) [mehr ...]
11.01.2010: Pierre Sutra (Université, Pierre et Marie Curi),
"Fault-tolerant partial replication at large-scale"
(MPI-Kolloquium) [mehr ...]
18.01.2010: Paul E. Sevinc (Doodle AG),
"Doodle - Aufbau eines Web-Dienstes und einer Web- Firma"
(Informatik Kolloquium) [mehr ...]
02.02.2010: Sorelle Friedler (University of Maryland),
"A Sensor-Based Framework for Kinetic Data"
(MPI-Kolloquium) [mehr ...]
10.02.2010: George Giorgidze (University of Nottingham),
"Declarative Hybrid Modelling and Simulation in Haskell"
(MPI-Kolloquium) [mehr ...]
08.02.2010: Jade Alglave (Inria),
"Fences in Weak Memory Models"
(MPI-Kolloquium) [mehr ...]
11.02.2010: Prof. Dr. Wolf-Thilo Balke (TU Braunschweig),
"Intuitive Querying with Preferences: Exploiting Conceptual Knowledge"
(Informatik Kolloquium) [mehr ...]
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) [mehr ...]
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) [mehr ...]
03.03.2010: Joshua Dunfield (McGill University),
"Verifying Functional Programs with Type Refinements"
(MPI-Kolloquium) [mehr ...]
10.03.2010: Roly Perera (University of Birmingham),
"First-order Interactive Programming"
(MPI-Kolloquium) [mehr ...]
25.03.2010: Arthur Chargueraud (Inria),
"Formal Program Verification Through Characteristic Formulae"
(MPI-Kolloquium) [mehr ...]
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) [mehr ...]
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) [mehr ...]
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) [mehr ...]
12.11.2010: Dr. Lucja Kot (Cornell University),
"Entangled queries: an abstraction for declarative data-driven coordination."
(MPI-Kolloquium) [mehr ...]
16.11.2010: Dr. Peer-Timo Bremer (LLNL, USA),
"Large-Scale Topological Analysis: Theory and Practice"
(Informatik Kolloquium) [mehr ...]
16.11.2010: Dr. Christoph Garth (University of California, Davis),
"Integrationsbasierte und topologische Ansätze in der Visualisierung von Vektorfeldern"
(Informatik Kolloquium) [mehr ...]
17.11.2010: Juniorprof. Dr. Heike Jänicke (Universität Heidelberg),
"Visualisierung zeitabhängiger multivariater Daten: Informationstheorie in der Visualisierung"
(Informatik Kolloquium) [mehr ...]
17.11.2010: Dr. Mikael Vejdemo Johansson (Standford University, TMSCSCS),
"Persistente Kohomologie und Kreis-werte Koordinaten"
(Informatik Kolloquium) [mehr ...]
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) [mehr ...]
29.11.2010: Yuri Gurevich (Microsoft Research Redmond),
"Logic, Policy, and Federation in the Cloud"
(MPI-Kolloquium) [mehr ...]
07.12.2010: Dr. Sven Apel (Universität Passau)
"Maßgeschneiderte und verlässliche Software für eingebettete Systeme"
(Informatik Sonderkolloquium) [mehr ...]
13.12.2010: Prof. Dr.Christian Becker (Universität Mannheim)
"Anwendungsunterstützung im Pervasive Computing: Komponenten, Kontrakte und Koordinaten"
(Informatik Sonderkolloquium) [mehr ...]
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) [mehr ...]
17.12.2010: Univ. Prof. Dr. Christoph Grimm (TU Wien, Lehrstuhl Embedded Systems)
"Verfeinerung Analog/Digitaler Systeme"
(Informatik Sonderkolloquium) [mehr ...]
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) [mehr ...]
22.12.2010: Prof. Dr. Andreas Rausch (TU Clausthal)
"Dynamisch Adaptive und Verlässliche Service-basierte Systeme"
(Informatik Sonderkolloquium) [mehr ...]