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...
The paper "IRIS: A Robust Information System Against Insider DoS-Attacks" written by Martina Eikel and Christian Scheideler within the SFB 901 project C1 wins the Best Paper Award on SPAA 2013.
On May 15, 2013, Prof. Dr. Sandra Zilles will give a talk in the context of the SFB 901 colloquium. Title of the talk: The combinatorial structure of concept classes that can be learned from a small number of examples