## Past Seminars:

## Date |
## Speaker |
## Title/Abstract |

Feb 1/19 | Patrick Speissegger,McMaster University |
Limit cycles of planar vector fields, Hilbert’s 16th problem and o-minimality |

Nov 30/18 | Joel (Ronnie) NaglooCity University of New York |
A general theory of strongly minimal sets of Schwarz type |

Nov 23/18 | Johnson TanMcMaster University |
Attempts at Schützenberger Theorem for tree languages |

Nov 16/18 | Steven LazarroMcMaster University |
BCI machine |

Nov 9/18 | Anthony BonatoRyerson University |
The new world of infinite random geometric graphs |

Nov 2/18 | Aaron CrightonMcMaster University |
tba |

Oct 26/18 | Erin CaulfieldMcMaster University |
Definable sets in expansions of the real field by some complex subgroups |

Oct 16/18 | Ary ShavivWeizmann Institute of Science |
Schwarz functions on subanalytic manifolds |

Oct 5/18 | Matt ValerioteMcMaster University |
Definability of regular tree languages–Part II |

Sept 28/18 | Maryanthe MalliarisUniversity of Chicago |
A new simple theory |

Sept 14/18 | Matt ValerioteMcMaster University |
Definability of regular tree languages |

April 6/18 | Chris MillerOhio State University |
Component-closed expansions of the real line (preliminary report) |

Mar 27/18 | Santiago CamachoUniversity of Illinois Urbana-Champaign |
Three recent results of truncation in Transseries |

Mar 20/18 | Peter SinclairMcMaster University |
Title and Abstract tba |

Mar 13/18 | Margaret ThomasMcMaster University |
Definable topologies and definable compactness in o-minimal structures |

Mar 9/18 | Erik Walsberg |
Defining field structure in a first order expansion of the ordered additive group of real numbers |

Mar 6/18 | Erin Caulfield |
Classifying expansions of the real field by complex subgroups |

Mar 2/18 | Jacob TsimermanUniversity of Toronto |
Ax-Schanuel for Shimura Varieties |

Jan 23 & 30/18 | Deirdre HaskellMcMaster University |
Elimination of imaginaries in theories of valued fields |

Jan 16/18 | Bradd HartMcMaster University |
The Urysohn sphere is pseudofinite |

Dec 5/17 | Jamal KawachUniversity of Toronto |
Ramsey properties of Fraïssé classes of finite measure algebras |

Nov 28/17 | Steven LazzarroMcMaster University |
A Special Example of a Non-McDuff Factor with Property ? |

Nov 21/17 | Alberto ChiccoMcMaster University |
Maltsev conditions obtained by the omission of certain algebraic structures |

Nov 14/17 | Patrick SpeisseggerMcMaster University |
Quasianalytic Ilyashenko algebras |

Nov 7/17 | Aaron CrightonMcMaster University |
Computing VC-density in P-minimal Theories |

Oct 31/17 | Tobias KaiserUniv of Passau |
Asymptotics of parametrized exponential integrals given by Brownian motion on globally subanalytic sets |

Oct 24/17 | Dioga PocasMcMaster University |
Analog Computability in Differential Equations |

Oct 17/17 | Margaret ThomasMcMaster University |
Effective Pila–Wilkie bounds for Pfaffian surfaces |

Oct 3/17 | Jesse HanMcMaster University |
Strong conceptual completeness and internal adjunctions in Def (T) |

Sept 29/17 | Julia GordonUBC and Cornell |
Locus conditions and transfer principles |

Sept 26/17 | Peter SinclairMcMaster University |
Dp-finite fields |

Sept. 12/17 | James RooneyMcMaster University |
Loops and Congruence Varieties |

Sept 19/17 | Ian PayneMcMaster University |
Residually Large Varieties of 2-Semilattices |

Feb 2/17 | Bradd HartMcMaster University |
Practical definability…cont |

Jan 19/17 | Bradd HartMcMaster University |
Practical definability |

Jan 9/17 | Nigel Pynn-CoatesUIUC |
D-Henselian Extensions of Valued Differential Fields |

Nov 28/16 | Jesse HanMcMaster University |
Reconstruction theorems for $\omega$-categorical structures, continued |

Nov 7/16 | Bradd HartMath & Stats Dept McMaster University |
An example of measure in model theory |

Oct 24/16 | James RooneyMcMaster University |
Universal Algebra and Infinite Domain CSPs |

Oct 3/16 | Alex KazdaIST, Austria |
What can a single linear equality do? |

Sept 26/16 | Peter SinclairMcMaster University |
When does NIP transfer from fields to henselian expansions? |

Sept 19/16 | Matthew MooreMcMaster University |
Cube term blockers |

Apr 8/16 | Silvain RideauUniversity of California, Berkeley |
Imaginaries in separably closed valued fields |

Apr 1/16 | Hossein TaghinejadMath & Stats Dept McMaster University |
Bounding the decay of P-adic oscillatory integrals with a constructible amplitude function and a subanalytic phase function |

Mar 4/16 | Omar Leon SanchezMath & Stats Dept McMaster University |
On the differential Galois correspondence |

Mar 11/16 | Bradd HartMath & Stats Dept McMaster University |
On the theories of McDuff’s II$_1$ factors |

Mar 18/16 | Lou van den Dries (UIUC) |
Differential-Henselian Fields |

Feb 26/16 | Matt ValerioteMath & Stats Dept McMaster Universit |
Learnability and Testability (Part II) |

Feb 5/16 | Alex KruckmanUC Berkele |
Properly Ergodic Structures |

Jan 29/16 | Deirdre HaskellMcMaster University |
Tame theories of fields with a predicate for a discrete subgroup |

Jan 22/16 | Matt MooreVanderbilt University |
Absorption and directed Jonsson terms |

Jan 15/16 | Matt ValerioteMcMaster University |
Learnability and Testability |

Dec 4/15 | Philipp Hieronymi |
A tame Cantor set |

Nov 27/15 | Somayeh VojdaniNotre Dame |
Compactifications of Nonstandard Finite Cyclic Groups |

Nov 20/15 | Ross Willard |
(No) Progress on the CSP Dichotomy Conjecture |

Nov 13/15 | Alberto Chicco |
Some topics on the modularity conjecture in the lattice of interpretability types of varieties. |

Nov 6/15 | Omar Leon SanchezMcMaster University |
On the existence of differential Galois extensions |

Oct 30/15 | Carlos ArrecheNCSU |
On the computation of the difference-differential Galois group for a second-order linear difference equation |

Oct 23/15 | Caroline TerryUniversity of Illinois at Chicago |
Some new logical zero-one laws |

Oct 2/15 | Bradd HartMcMaster University |
The model theoretic universe |

Sept 25/15 | Anand PillayUniv of Notre Dame |
Compactifications of pseudofinite groups |

June 18/14 | Bradd HartMcMaster University |
On pseudo-finite dimensions |

Apr 8/14 | Patrick Speissegger,McMaster University |
A quasianalytic algebra based on the Hardy field of log-exp-analytic functions |

April 1/14 | Omar Leon Sanchez,McMaster University |
A model-theoretic application to Poisson algebras |

Mar 24/14 | Matt Luther,McMaster University |
Interpreting Fields in Symmetric Spaces– Part II |

Mar 18/14 | Alexander Wires,University of Waterloo |
Dichotomy for Finite Tournaments of Mixed-Type |

Mar 11/14 | Ross Willard,University of Waterloo |
Finite axiomatizability of “small” equational theories |

Mar 4/14 | Matt LutherMcMaster University |
Interpreting Fields in Symmetric Spaces |

Feb 25/14 | Barbara Csima |
Isomorphisms of Computable Structures |

Feb 11/14 | Matt LutherMcMaster University |
Definability in symmetric spaces |

Jan 28/14 | Omar Leon SanchezMcMaster University |
On isolated types in DCF (part II) |

Dec 6/13 | Hossein TaghinejadMcMaster University |
Further motivic integration |

Nov 26/13 | James FreitagBerkeley |
Almost simple differential and superstable groups |

Nov 15/13 | Hossein TaghinejadMcMaster University |
Further motivic integration |

Nov 12/13 | Will BoneyCMU |
Forking in short and tame abstract elementary classes |

Nov 8/13 | Erik WalsbergUCLA |
Metric geometry in the o-minimal setting |

Oct 18/13 | Hossein TaghinejadMcMaster University |
More motivic integration |

Oct 4/13 | Deirdre HaskellMcMaster University |
Introduction to Hrushovski-Kazhdanic motivic integration (contd) |

Sept 20/13 | Deirdre HaskellMcMaster University |
Geometric motivic integration a la Hrushovski-Kazhdan — an overview |

Apr 5/13 | Alfred DolichCUNY |
Maximal automorphisms |

Mar 22/13 | Bradd Hart McMaster University |
Conceptual completeness in continuous logic |

Mar 1/13 | Eva Leenknegt Purdue University |
Properties of definable functions in P-minimal structures |

Jan 25/13 | Rahim Moosa University of Waterloo |
Model theory of fields with (non-commuting) operators |

Jan 18/13 | Saugata Basu Purdue University |
From combinatorial complexity to triangulations of monotone families |

2012