The p2p framework, that is elaborated in project A1, has been presented at the CeBIT 2012 and gained very positive feedback. A successful presentation of research results to researchers, industry and casual visitors.

03/24/2012 | The software verification tool CPAchecker-Memo 1.0.10 developed by Daniel Wonisch within the SFB 901 project B4 wins the 1st International Competition on Software Verification (SV-COMP) held at TACAS 2012 in Tallinn, Estonia.

On March 5, 2012, Professor Dr. Vladimir Mazalov from the Karelia Research Center of Russian Academy of Sciences will give a talk about "Bargaining Theory and Mechanism Design" in the context of the SFB 901 colloquium.

On February 22, 2012, Professor Dr. Indra Spiecker from the Karlsruhe Institute of Technology will give a talk about "Europäisches und Internationales Datenschutzrecht" in the context of the SFB 901 colloquium.

On February 16, 2012, Professor Dr. Paola Inverardi from the University of L'Aquila will give a talk about "Engineering Software in the Future Era: The Role of Uncertainty" in the context of the SFB 901 colloquium.

The 2nd SFB 901 Workshop will take place at the Welcome Hotel in Meschede on February 8 - 9, 2012.

On February 7, 2012, Professor Dr. Anja Feldmann from the Deutsche Telekom Labs and TU Berlin will give a talk about "Spielwiese Internet" in the context of the SFB 901 colloquium.

On January 31, 2012, Christian Renner from the TU Hamburg-Harburg will give a talk about "Predictive Load Adaptation with Policies for Energy-Harvesting Sensor Nodes" in the context of the SFB 901 colloquium.

On December 14, 2011, the 3rd SFB 901 seminar in the winter semester will take place.