The text for the first kind of exam can be found here, while the text for the second kind can be found here.
For the implementation exam, you can choose any of the following languages: C, C++, Java, ML (or SML) and Prolog.
Please send your solution to Catuscia Palamidessi (together with the result of a few tests in case of the implementation exam), and please indicate the name and email address of the person in charge of the PhD program at your institute, whom should receive the result of the evaluation.