Note that there is another PhD school with slight thematic overlap which takes place only 10 days later: the
AVACS spring school on Automatic Verification and Analysis of Complex Systems in Oldenburg, Germany. Participating in both schools should be especially interesting for students coming from far away. The focus of the AVACS school is formal methods for complex systems.
For students which are interested in participating in both schools, we have the possibility to offer a visit to one of the participating universities during the week in-between the two schools. Please take contact to
uli@cs.aau.dk if you are interested.