SFB 901 - On-The-Fly Computing - NewsBox (Universität Paderborn)

Talk given by Prof. Dr. Kurt Geihs (University of Kassel)

11/29/2011 | 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.

Second SFB 901 Seminar in WS 11/12

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

Talk given by Prof. Dr. Dirk Beyer (University of Passau)

10/25/2011 | 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.

First SFB 901 Seminar in WS 11/12

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

Talk given by Prof. Dr. Martin Erwig (Oregon State University)

08/22/2011 | 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.