A. Leitsch: "CERES: Analysis of the fifth Proof of the Infinity of Primes"; Talk: Non-classical Logics: from Foundations to Applications, Pisa (invited); 2008-04-24 - 2008-04-26.