RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo

ROCKS autumn school

The school will take place October 22-26, 2012 in the monastery "Abbazia di Novacella (Kloster Neustift)" in Vahrn, Italy. Vahrn is located in South Tyrol near the cities Bolzano and Trento.
The school is organized by the Dutch-German research collaboration project ROCKS (RigorOus dependability analysis using model ChecKing techniques for Stochastic systems), supported by NWO/DFG.


The autumn school addresses young researchers who are interested in the modeling and analysis of probabilistic and stochastic systems. Leading scientists from these fields will give lectures on foundations as well as state-of-the-art research.


The autumn school consists of the following half-day tracks (author - abstract): Note: Those slides which are already available can be found below each abstract.


The current version of the programme can be found here.

Important dates

Early registration deadlineJuly 15, 2012, 23.59 CEST.

Publication of Autumn School Tutorial by Participants

We have made agreements with Springer to publish a volume in the Tutorial series of LNCS (Lecture Notes in Computer Science, see here), containing tutorials written by summer school participants: students and other participants will work in groups to write an survey of the material presented at the summer school. Plan is that these papers will be thoroughly reviewed and (if of the required quality) be published as a volume in the LNCS tutorial series.

The groups will be formed during the Autumn School, and time will be allocated to work on these tutorials. Planned deadline for submission will be in January 2013.


The school will take place October 22-26, 2012, in the beautiful monastery Abbazia di Novacella (Kloster Neustift) in Vahrn, Italy.


Abbazia di Novacella (Kloster Neustift) in Vahrn. Vahrn is located in South Tyrol near the cities Bolzano and Trento. The home page of the monastery is located here: A coarse plan where to find the monastery can be found here. You can access a route planner here.

Registration (closed) and costs

  • Early workshop fee: 190 Euro (valid until July 15 2012, 23.59 CEST)
  • Late workshop fee: 210 Euro

In addition to the workshop fees, you will have to pay approximately 400 Euro to the monastery directly for room, full board and coffee breaks from Monday morning until Friday afternoon. The monastery offers a limited number of single rooms and enough double rooms. If many participants request a single room, those who register latest will be lodged in the hotel across the street (+15 Euro per night). Early arrival, Okt. 21st, can easily be accommodated. Note that, the monastery's capacities from Friday to Saturday are already booked. For those who want to stay longer or arrive before Okt. 21st, please refer to one of the hotels in the neighbourhood (e.g. Hotel Brueckenwirt and Hotel Pacher).

Registration closed.

Annullation conditions: If annulled after July 15 2012, 23.59 CEST, the workshop fee is forfeit. If annulled after 23 September, 23.59 CEST, you will additionally have to pay 200 Euro to cover the annullation of your stay at the monastery.

ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken