On November 9, 2011, the 2nd SFB 901 seminar in the winter semester will take place.

On October 25, 2011, Professor Dr. Dirk Beyer from the University of Passau will give a talk about "Conditional Model Checking" in the context of the SFB 901 colloquium.

On October 12, 2011, the 1st SFB 901 seminar in the winter semester will take place.

On August 22, 2011, Professor Dr. Martin Erwig from the Oregon State University will give a talk about "Priorities for Language Design: Semantics and Explanations" in the context of the SFB 901 colloquium.

On July 18 - 20, 2011, the AdHoc-Now conference will take place at the Hotel Campus Lounge in Paderborn.

The 1st SFB 901 Workshop (Kick-Off Meeting) will take place at the building Fürstenallee 11 on June 30, 2011.