On November 20, 2018, Prof. Dr. Fabian Kuhn will give a talk about "On the Role of Randomization in Local Distributed Algorithms" in the context of the SFB 901.
The paper "Do Android Taint Analysis Tools Keep their Promises?" written by Felix Pauck, Eric Bodden, and Heike Wehrheim, SFB 901 project B4 wins the Best Paper Award on the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018).
On October 11, 2018, Prof. Brent Nelson (Brigham Young University, Provo, Utah) will give a talk about "Custom CAD Tools, FPGA Reliability, and IP Security: FPGA Research at BYU" in the context of the SFB 901.
On August 14, 2018, Prof. Dr. Martin Erwig (Oregon State University) will give a talk about "Teaching Computing Without Coding" in the context of the SFB 901.