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