|On numbers, germs, and transseries
International Congress of Mathematicians, Rio de Janeiro, Section Logic and Foundations, August 2018.
|Dimension and automorphisms in the
differential field of transseries
Workshop Model Theory of Valued fields, Institut Henri Poincaré, Paris, March 2018.
|Valued differential fields
Eighth International Workshop in Differential Algebra and Related Topics, Johannes-Kepler Universität Linz, September 2017.
|Tutorial: Model theory of transseries,
Lectures 2 and 4. (Lectures 1 and 3 were given by J.
van der Hoeven, Lecture 5 by L. van den Dries.)
Workshop on Model Theory: From Fields to Hardy Fields, Fields Institute, Toronto, ON, August 2016.
|The algebra and model theory of
Artin Approximation and Infinite Dimensional Geometry, CIRM Luminy, March 2015
|Logic meets number theory
in o-minimality: the work of Peterzil, Pila,
Starchenko, and Wilkie.
Logic Colloquium, Vienna, July 2014
|Gaps in H-fields.
Model Theory 2013, Ravello, June 2013.
|Definable extension theorems in o-minimal
Annual North American Meeting of the Association for Symbolic Logic, Waterloo, ON, May 2013.
|Vapnik-Chervonenkis density in model
O-minimal Structures and Real Analytic Geometry Retrospective Workshop, Fields Institute, Toronto, ON, August 2011.
|Residual properties of 3-manifold groups.
Logicum Urbanae Lugduni, Lyon, July 2009.
|Degree bounds for Gröbner bases in
algebras of solvable type.
Third International Workshop in Differential Algebra and Related Topics, Rutgers University at Newark, NJ, November 2008.
|Solving linear differential equations over
Workshop on Model Theory, Algebraic and Analytic Geometry, Newton Institute for Mathematical Sciences, Cambridge, July 2005.
|Faithfully flat Lefschetz extensions.
Logic Colloquium 2004, special session in model theory, Torino, July 2004.
|Asymptotic differential algebra.
American Mathematical Society Sectional Meeting, plenary lecture, Courant Institute, New York, April 2003.
|Bounds and algorithms for polynomial rings
over the integers.
Workshop on Computational Commutative Algebra, Mathematical Sciences Research Institute, Berkeley, CA, March 2003.