On December 13, 2011, Professor Dr. Dirk Westhoff from the HAW Hamburg will give a talk about "Efficient Security Protocols for Dependable and Secure Wireless Networks" in the context of the SFB 901 colloquium.
On December 7, 2011, PD Dr. Sven Overhage from the University of Augsburg will give a talk about "Ein ganzheitlicher Ansatz zur Spezifikation von Software-Services: Spezifikationsrahmen, Metamodell und Sprachformate" in the context of the SFB 901 colloquium.
On December 7, 2011, Dr. Falk Langhammer from the Living Pages Research GmbH in Munich will give a talk about "Organic Programming using Ercatons" in the context of the SFB 901 colloquium.
On November 29, 2011, Professor Dr. Kurt Geihs from the University of Kassel will give a talk about "On-The-Fly Software Systems" in the context of the SFB 901 colloquium.
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 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.