A. Leitsch: "CERES: An analysis of Fürstenberg's proof of the infinity of primes"; Keynote Lecture: Moscow-Vienna Workshop on Logic and Computation, Wien; 2007-07-02 - 2007-07-03.