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.
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.