On July 16, 2013, Prof. Dr. Michael Hübner will give a talk in the context of the SFB 901 colloquium. Title of the talk: Dynamic Processor Adaptation

On July 9, 2013, Prof. Dr. Christian Lengauer will give a talk in the context of the SFB 901 colloquium. Title of the talk: Moderne Softwaretechnologie für das Exascale-Computing

This event will be organized as satellite workshop of the "40th International Colloquium on Automata, Languages and Programming" (ICALP) and will take place on the 7th of July, 2013, at the University of Latvia in Riga.

On July 4, 2013, Christian Soltenborn has successfully defended his PhD thesis on "Quality Assurance with Dynamic Meta Modeling". Christian Soltenborn is team member of the SFB 901 subproject B1 and his supervisor is Prof. Dr. Gregor Engels. We sincerely congratulate Christian on passing the examination!

On June 26, 2013, the 5th SFB 901 seminar in the summer semester will take place.

The paper "A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery" written by Sebastian Kniesburges, Andreas Koutsopouplos and Christian Scheideler within the SFB 901 project A1 wins the Best Student Paper Award on SIROCCO 2013.

On June 24, 2013, Nils Timm has successfully defended his PhD thesis on "Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems". Nils Timm is team member of the SFB 901 subproject B4 and his supervisor is Prof. Dr. Heike Wehrheim. We sincerely congratulate Nils on passing the examination!

On the occasion of the retirement of Professor Franz Josef Rammig, the Institute for Informatics and the Faculty EIM organize on June 19, 2013, 3:30 p.m., at the Heinz Nixdorf MuseumsForum a Celebrating Event to honour his long and outstanding research career. Especially, the faculty honors Prof. Rammigs extraordinary scientific work during the past 30 years as head of the section for design of parallel systems in the Institute for...

On June 18, 2013, Jun.-Prof. Dr. Alexander Skopalik will give a lecture about "Algorithmen, Spiele, Netzwerke" in the context of the SFB 901.

On June 12, 2013, the 4th SFB 901 seminar in the summer semester will take place.