News

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

Read more

On May 10, 2017, the 1st SFB 901 seminar in the summer semester will take place.

Read more

On May 5, 2017, Marie-Christine Jakobs has successfully defended her PhD thesis on "On-The Fly Safety Checking - Customizing Program Certification and Program Restructuring".

Read more
Dr. Sébastien Destercke (Université de Technologie de Compiègne)

On April 10th, 2017, Dr. Sébastien Destercke (Université de Technologie de Compiègne) will give a talk about "Making cautious decisions in large or structured output spaces: some results and challenges" in the context of the SFB 901.

Read more
Dr. Faisal Abu-Khzam (Lebanese American University, Beirut, Lebanon)

On April 3rd, 2017, Dr. Faisal Abu-Khzam (Lebanese American University, Beirut, Lebanon) will give a talk about "A Multivariate Complexity Analysis of Cluster Editing" in the context of the SFB 901.

Read more

The 12th SFB 901 Workshop will take place at the Heinz Nixdorf Institute on March 1, 2017.

Read more

On February 1, 2017, the 5th SFB 901 seminar in the winter semester will take place.

Read more
Dr. Rohit Babbar (MPI for Intelligent Systems, Tübingen)

On January 25th, 2017, Dr. Rohit Babbar (MPI for Intelligent Systems Tübingen) will give a talk about "Scalable Algorithms for Extreme Multi-class and Multi-label Classifcation" in the context of the SFB 901.

Read more

On January 11, 2017, the 4th SFB 901 seminar in the winter semester will take place.

Read more
Photo: Prof. Dr. Eric Bodden (Paderborn University)

On January 9, 2017, Prof. Dr. Eric Bodden from the Paderborn University will give a lecture about "Tool Support for Security by Design" in the context of the SFB 901.

Read more

--