The 5th SFB 901 Workshop will take place at the Welcome Hotel Hennesee in Meschede on September 16-17, 2013.

On September 3, 2013, Dr. Martin Gairing will give a talk in the context of the SFB 901 colloquium. Title of the talk: Complexity and Approximation of the Continuous Network Design Problem

On July 18, 2013, Prof. Cheng-Zhong Qin will give a talk in the context of the SFB 901 colloquium. Title of the talk: Price and Shortage as Signals of Quality

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!