News

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

Mehr erfahren

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

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

Mehr erfahren

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.

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

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

Mehr erfahren
Dr. rer. nat. Barbara Kempkes

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

Mehr erfahren
Photo: Prof. Dr. Paola Inverardi (University of L'Aquila).

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.

Mehr erfahren

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

Mehr erfahren
Photo: Prof. Dr. Anja Feldmann (Deutsche Telekom Labs and TU Berlin)

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.

Mehr erfahren

--