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".

Read more
Dr. rer. nat. Sören Riechers

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

Read more
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.

Read more
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".

Read more
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)

Read more

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

Read more

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.

Read more
Dr. rer. nat. Gennadij Liske

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

Read more
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.

Read more
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".

Read more

--