The University of Information Society (UPB) in cooperation with the SFB 901 would like to initiate contacts and co-operations under the topic "IT Services for Modern Information Societies" with Russian scientists.
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.