Universität Paderborn » SFB 901 » News

News

24.03.12 (10:00 AM)

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.

05.03.12 ( 4:00 PM)

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.

22.02.12 (11:30 AM)

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.

Foto: Prof. Dr. Paola Inverardi (University of L'Aquila).
16.02.12 ( 4:00 PM)

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.

08.02.12 (10:00 AM)

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

07.02.12 ( 6:00 PM)

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.

31.01.12 (12:30 PM)

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.

14.12.11 ( 4:00 PM)

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

Foto: Prof. Dr. Dirk Westhoff von der HAW Hamburg.
13.12.11 ( 6:00 PM)

On December 13, 2011, Professor Dr. Dirk Westhoff from the HAW Hamburg will give a talk about "Efficient Security Protocols for Dependable and Secure Wireless Networks" in the context of the SFB 901 colloquium.

07.12.11 ( 4:45 PM)

On December 7, 2011, PD Dr. Sven Overhage from the University of Augsburg will give a talk about "Ein ganzheitlicher Ansatz zur Spezifikation von Software-Services: Spezifikationsrahmen, Metamodell und Sprachformate" in the context of the SFB 901 colloquium.