On December 4, 2012, Jun.-Prof. Dr. Roland Meyer will give a talk about "Robustness Checking Against TSO: Attacks and Defence" in the context of the SFB 901 colloquium.
On November 20, 2012, Prof. Dr. Jürgen Richter-Gebert will give a talk about "Ornaments, Symmetry and Algorithms" in the context of the SFB 901 colloquium.
On October 23, 2012, Jun.-Prof. Dr. Christoph Sorge will give a lecture about "Datenschutz: Herausforderung für Informatik und Recht" in the context of the SFB 901
On October 9, 2012, Prof. Dr. Martin Erwig from the Oregon State University, USA, will give a talk about "Type Inference for Variational Programs" in the context of the SFB 901 colloquium.
Within the general assembly 2012 of the CRC 901, a special prize has been awarded to Marie Christin Platenius for the best presentation at the CRC 901 seminar hold in SS 2012.