News

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.

Read more

American student comes from the University of Southern California and stays for eight weeks.

Read more
Photo: Jun.-Prof. Dr. Hannes Frey (University of Paderborn)

On May 8, 2012, Jun.-Prof. Dr. Hannes Frey from the University of Paderborn will give a lecture about "Kosteneffizienter Multicast in drahtlosen Multihop Netzen" in the context of the SFB 901.

Read more

On May 2, 2012, the 2nd SFB 901 seminar in the summer semester will take place.

Read more

On April 11, 2012, the 1st SFB 901 seminar in the summer semester will take place.

Read more
Presentation of the p2p framework at the CeBIT 2012

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.

Read more

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.

Read more
Photo: Prof. Dr. Vladimir Mazalov (Karelia Research Center of Russian Academy of Sciences)

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.

Read more
Photo: Prof. Dr. Indra Spiecker (Karlsruhe Institute of Technology)

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.

Read more
Dr. rer. nat. Barbara Kempkes

On February 17, 2012, Barbara Kempkes has successfully defended her PhD thesis on "Local strategies for robot formation problems".

Read more

--