# 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.

- J
*oint 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. - AMS
Eastern Section Meeting. Middletown,
CT, October 11,12 of 2008.

When Low information is no information.

- Computability,
Reverse Mathematics and Combinatorics.
Banff,
Canada. Dec 7-12 2008.

On the Strength Fraïssé's Conjecture. - Conference
in Honor of Harvey Friedman 60th Birthday. Columbus,
OH, May 2009.

Theories of Hyperarithmetic Analysis - A survey. - ASL Annual
Meeting. South Bend, IN, May 2009.

The Veblen Ordinal Functions for Computability Theorists. - CiE. Heidelberg, Germany,
July 2009.

On the Jump of a Structure. - Workshop
in Computablity Theory, Sofia, Bulgaria,
August 2009.

On complete sets of Pi-n relations of a structure. - Tutorial.
Coloquio
Matemático del Uruguay, Montevideo,
Uruguay, December 2009.

Matemática Computable - Plenary
talk.
Mal'tsev Meeting,
Novosibirsk,
Russia, May 2-6 2010.

Counting the back-and-forth relations. - AMS fall
Sectional meeting. Notre Dame,
IN, November 2010.

Non-hyperaithmetic is a spectrum.

- ASL annual
meeting - Special session for L.
Harrington. Berkeley,
CA, March 2011.

The boundary of determinacy in Second Order Arithmetic.

- Plenary
talk.
CiE, Sofia,
Bulgaria, June 2011.

The jump of a structure.

- Infinity
Conference, Barcelona,
July 2011.

The boundary of determinacy in Second Order Arithmetic.

- Computational
Prospects of Infinity II, Singapore,
August 2011.

The jump of a structure.

- Packard
Foundation Meeting, Monterrey,
CA. September 2011.

Reverse mathematics.

- Tutorial.
Oberwolfach
seminar in Proof theory. Oberwolfach,
Germany, October 2011.

Ordinal Analysis and Computability Theory.

- Plenary
Talk. 3er Coloquio Uruguayo de Matemática. Montevideo,
Uruguay, December 2011.

Matemática Reversa. - Workshop
in computability theory. Oberwolfach,
Germany, February 2012.

Properties of classes of structures. - AMS
Sectional Meeting, Washington,
DC. March 2012.

Theories of classes of structures.

- Plenary
Talk. ASL
Annual Meeting. Madison,
WI, April 2012.

The Complexity within well-quasi-orderings. - Plenary
talk. Latin
American Symposium on
Mathematical Logic, Bogota,
Colombia, June 2012.

Determinacy in reverse mathematics.

- Plenary
talk. The Incomputable.
Cambridge,
UK. June 2012.

Definability in computable structure theory. - Tutorial.
Logic Colloquium,
Manchester,
UK, July 2012.

Reverse mathematics.