Conference and Workshops Slides.

• ASL annual meeting. Chicago, IL, June 2003.
Embedding Jump Upper Semilattices into the Turing Degrees.
• Computability and Logic Workshop. Heidelberg, Germany, June 2003.
Embedding Jump Upper Semilattices into the Turing Degrees (2nd part).
• Southeastern Logic Symposium. Gainesvile, FL, March 2004.
There is no order in the Generalized High/Low Hierarchy.
• Logic, Computability and Randomness. Cordoba, Argentina, September 2004.
  
Up to equimorphism, hyperarithmetic is recursive (25 min).   (1 hour version).
• Fall 2004, AMS Central Section Meeting, Evanston, IL, October 2004.
  On Fraïssé's Conjecture and some equivalent statements.
  
• Joint Mathematics meetings. Atlanta, GA, January 2005.
  On the proof-theoretic strength of Jullien's results.
• ASL annual meeting, Stanford, CA, March 2005.
  A minimal pair of K-degrees. Joint work with Barbara F. Csima.
• Computational Prospects of infinity. Singapore, July-August 2005.
  Indecomposable linear orderings and Theories of Hyperarithmetic Analysis.
• Southeastern Logic Symposium. Gainesvile, FL, March 10-12 of 2006.
  Plenary talk. Equimorphism invariants for scattered linear orderings.
  
•  AMS Central Section Meeting.  Notre Dame, IN, April, 8,9 of 2006.
  Computable linearizations of well-partial-orderings.
  
• Greater Boston Logic Conference, Boston, MA, May 12-14 of 2006.
  Well-quasi-orderings and computability theory.
  
• Annual Meeting of the ASL, Montreal, Canada,  May 17-21 of 2006.
  Plenary talk. Equimorphisms types of Linear Orderings.
  
• ASL Summer Meeting "Logic Colloquium '06". Nijmegen, Netherlands, 27 July- 2 Aug. of 2006.
   Plenary talk. Embeddability and decidability in the Turing Degrees.
• Proof Theory of arithmetic, Kyoto, Japan, August 21st-23rd of 2006.
  Aspects of Computability Theory.
  Theories of Hyperarithmetic Analysis.
  
• Workshop on Computability, Randomness and Model theory, Auckland, New Zealand, Nov 8-9 2006.
  Equimorphism invariants for scattered linear orderings.
  
• Mini-Workshop: Logic, Combinatorics and Independence Results, Oberwolfach, Germany, Nov 26th - Dec 2nd, 2006.
  Theories of Hyperarithmetic Analysis.
• Joint Meeting of the AMS - NZMS 2007. Wellington, New Zealand, Dec 12-15 2007.
  On the back-and-forth types of Boolean Algebras.
• Computability, Complexity and Randomness. Nanjing, China, May 19-23 2008.
  Extensions of Embeddings in the degrees below the Turing Jump.
• Effective Mathematics of the Uncountable. New York, NY, Aug 18-22 2008.
  From Büchi to Borel Structures.