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.

Réalisation Axome - Création de sites Internet