Recursion Theory of Ramsey's Theorem: Universita degli Studi di Siena, April 2006:  Lecture 1  Lecture 2  Lecture 3  Lecture 4  Lecture 5  Lecture 6


Logic Colloquium, University of California, Berkeley, November 18, 2005:


AMS meeting (in honor of retirement of Manuel Leman), Storrs, October 28-29, 2006:


CIE 2007, Siena, June 19, 2007:


American Mathematical Society-New Zealand Mathematical Society Joint Meeting, December 2007:


Logical Analysis of Ramsey's Theorem, Logic Colloquium, November 2005 Computability, Reverse Mathematics and Combinatorics, Banff December 2008:


Reverse Mathematics: Foundations and Applications, Chicago, December 2009:


Conference on Computability Theory and Randomness, Nanjing, June 2008: