The PhD student Paulo G. Santos at CMA was awarded the BestMasters prize by Springer for his thesis “Diagonalization on Formal Mathematics” under the supervision of Reinhard Kahle (CMA and FCT-UNL and Universität Tübingen) and Isabel Oitavem (CMA and FCT-UNL). The prize includes the publication of the thesis by Springer: https://www.springer.com/gp/book/9783658291105