Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496
The overall topics of this tutorial were Program Analysis and Verification.
The goal was to establish a common knowledge base and terminology
for collaborations. The target audience was PostDocs, PhD students, Master's students,
and Bachelor's students who are working on an RS3 project or are otherwise
associated with RS3.
Lectures were held by:
In addition to lectures, the tutorial also contained practical
At Schloss Buchenau there was full-board accommodation.
Arrival on the late afternoon of Sunday, September 2, is highly recommended. Departure is on Thursday, September 6 in the afternoon.
A description of how you can get to Schloss Buchenau is available on the website of Schloss Buchenau. The nearest train station is Bad Hersfeld (about 12 km to Schloss Buchenau).
In order to simplify your journey, you can sign up in the RS3 Wiki so that we can organize transport from Bad Hersfeld to Schloss Buchenau in groups of people who arrive roughly at the same time.
The application deadline was July 23, 2012
If you have further questions concerning the tutorial, please send an e-mail to