|
|
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
transseries.
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
structures.
Annual North American Meeting of the Association for
Symbolic Logic, Waterloo, ON, May 2013. |
|
|
Vapnik-Chervonenkis density in model
theory.
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
H-fields.
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.
|