News

Dr. rer. nat. Sven Walther

On November 16, 2017, Sven Walther has successfully defended his PhD thesis on "Knowledge-based Verification of Service Compositions".

Mehr erfahren
Dr. rer. nat. Sören Riechers

On November 14, 2017, Sören Riechers has successfully defended his PhD thesis on "Scheduling with Scarce Resources".

Mehr erfahren
The four CRC 901 advisory board members as well as the group of all CRC members participating at the 4th board meeting.

The 4th CRC 901 advisory board meeting took place at the Heinz Nixdorf Institute on November 10, 2017.

Mehr erfahren
Dr. rer. nat. Pavel Podlipyan

On November 8, 2017, Pavel Podlipyan has successfully defended his PhD thesis on "Local Algorithms for the Continuous Gathering Problem".

Mehr erfahren
Prof. Dr. Friedhelm Meyer auf der Heide

Prof. Dr. Friedhelm Meyer auf der Heide elected as a new member of the National Academy of Science and Engineering (acatech)

Mehr erfahren

The 13th SFB 901 Workshop will take place at the Welcome Hotel Meschede/Hennesee on October 5-6, 2017.

Mehr erfahren

On September 4 - 8, 2017, the 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) will take place at the HNF in Paderborn.

Mehr erfahren
Dr. rer. nat. Gennadij Liske

On September 1, 2017, Gennadij Liske has successfully defended his PhD thesis on "CCA-Security for Predicate Encryption Schemes".

Mehr erfahren
Dr. Bart de Keijzer (Centrum Wiskunde & Informatica, Amsterdam)

On August 7th, 2017, Dr. Bart de Keijzer (Centrum Wiskunde & Informatica, Amsterdam) will give a talk about "Approximately Efficient Two-Sided Combinatorial Auctions" in the context of the SFB 901.

Mehr erfahren
Dr. rer. pol. Frederik Simon Bäumer

On July 26, 2017, Frederik Simon Bäumer has successfully defended his PhD thesis on "Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen".

Mehr erfahren

--