Thu | Nov 18 | 19:00 | Sara Uckelman | John Eliot's *Logick Primer*: A bilingual English-Algonquian logic textbook | |

Thu | Nov 11 | 19:00 | Jana Mařiková | Definable matchings in o-minimal bipartite graphs | |

Thu | Nov 04 | 18:00 | Natalia García Fritz | Hilbert's tenth problem for rings of exponential polynomials | |

Thu | Oct 28 | 18:00 | Alexandra Shlapentokh | A Mysterious Ring | |

Thu | Oct 21 | 18:00 | Gregory Cherlin | Homogeneity and generalized metric spaces | |

Thu | Oct 14 | 18:00 | Franziska Jahnke | Decidability and definability in unramified henselian valued fields | |

Thu | Oct 07 | 18:00 | Françoise Point | Definable groups in topological fields with a generic derivation | |

Thu | Sep 30 | 18:00 | Gihanee Senadheera | Effective Concept Classes of PACi/PAC Incomparable Degrees and Jump Structure | |

Thu | Sep 16 | 18:00 | Caroline Terry | Speeds of hereditary properties and mutual algebricity | |

Thu | Sep 09 | 18:00 | Marcelo Arena | Descriptive Complexity for Counting Complexity Classes | |

Thu | Sep 02 | 18:00 | Cristina Sernadas | Decidability via Reduction in Logics and Their Combinations | |

Thu | Aug 26 | 18:00 | Colin Jahel | Some progress on the unique ergodicity problem | |

Thu | Aug 19 | 18:00 | Joel Nagloo | Geometric triviality in differentially closed fields | |

Thu | Jul 29 | 18:00 | Hunter Spink | Probabilistic Littlewood-Offord anti-concentration results via model theory | |

Thu | Jul 22 | 18:00 | Noah Schweber | Ceers higher up | |

Thu | Jul 15 | 18:00 | Cristobal Rojas | Computability of Harmonic Measure | |

Thu | Jul 08 | 18:00 | Dimitra Chompitaki | Decidability results of subtheories of commonly used domains in Algebra and Number Theory | |

Thu | Jul 01 | 18:00 | Daoud Siniora | Generic automorphisms of homogeneous structures | |

Thu | Jun 17 | 18:00 | Christina Brech | Isomorphic combinatorial families | |

Thu | Jun 10 | 18:00 | Rachael Alvir | Scott Complexity and Finitely α-generated Structures | |

Thu | Jun 03 | 18:00 | Tarek Sayed-Ahmed | Atom canonicity, complete representations, and omitting types | |

Thu | May 27 | 18:00 | Alexi Block Gorman | Definability on the Reals from Büchi Automata | |

Thu | May 20 | 18:00 | Andrew Moorhead | Higher commutators, hypercubes, and the hierarchy of centralizer conditions | |

Thu | May 13 | 18:00 | Andrés Villaveces | A partition relation for well-founded trees by Komjáth and Shelah, and two applications to model theory. | |

Thu | May 06 | 18:00 | Valentina Harizanov | Computability theory and automorphisms of lattices of substructures | |

Thu | Apr 29 | 18:00 | Mariana Vicaria | Elimination of imaginaries and stable domination in multivalued fields | |

Thu | Apr 22 | 18:00 | Sylvy Anscombe | Some existential theories of fields | |

Thu | Apr 15 | 18:00 | Sarah Reitzes | Reduction games over $\textup{RCA}_0$ | |

Thu | Apr 01 | 18:00 | Deirdre Haskell | Tameness properties of theories of valued fields with analytic functions | |

Thu | Mar 25 | 18:00 | Michael Lieberman | Recent developments in categorical model theory | |

Thu | Mar 11 | 19:00 | Matthew Moore | The Hidden Subgroup Problem for Universal Algebras | |

Thu | Mar 04 | 19:00 | Dakota Ihli | What generic automorphisms of the random poset look like | |

Thu | Feb 25 | 19:00 | Sophia Knight | Reasoning about agents who may know other agents’ strategies in Strategy Logic | |

Thu | Feb 18 | 19:00 | Marcos Mazari-Armida | Characterizing noetherian rings via superstability | |

Thu | Feb 11 | 19:00 | Ludovic Patey | Canonical notions of forcing in computability theory | |

Thu | Feb 04 | 19:00 | Peter Cholak | Old and new results on the computably enumerable sets | |

Thu | Jan 28 | 19:00 | Raimundo Briceño | Dismantlability, connectedness, and mixing in relational structures | |

Thu | Jan 21 | 19:00 | Angeliki Koutsoukou-Argyraki | Aristotle's Assertoric Syllogistic in Isabelle/HOL | |

Thu | Jan 14 | 19:00 | Aleksandra Kwiatkowska | Simplicity of the automorphism groups of countable homogeneous structures | |

Thu | Dec 10 | 19:00 | Gil Sagi | Formalization, Commitments and Constraints | |

Thu | Dec 03 | 19:00 | Johanna Franklin | Limiting densities and finitely presented structures | |

Thu | Nov 19 | 19:00 | Anush Tserunyan | Containers made easy | |

Thu | Nov 12 | 19:00 | Lynn Scow | Transfer of the Ramsey property | |

Thu | Nov 05 | 19:00 | Farzaneh Derakhshan | Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs | |

Thu | Oct 29 | 18:00 | Adam Přenosil | Semisimplicity, Glivenko theorems, and the excluded middle | |

Thu | Oct 22 | 18:00 | Steffen Lempp | The Turing Degrees: On the Order Dimension of and Embeddings into the Turing Degrees | |

Thu | Oct 15 | 18:00 | John Baldwin | Towards a finer classification of Strongly minimal sets | |

Thu | Oct 08 | 18:00 | Artem Chernikov | Idempotent Keisler measures | |

Thu | Oct 01 | 18:00 | Victoria Noquez | The Sierpinski Carpet as a Final Coalgebra Obtained by Completing an Initial Algebra | |

Thu | Sep 24 | 18:00 | Arno Pauly | How computability-theoretic degree structures and topological spaces are related | |

Thu | Sep 17 | 18:00 | Alexander Berenstein | Expansions of geometric theories as measurable structures | |

Thu | Sep 10 | 18:00 | Mirna Džamonja | On logics that make a bridge from the Discrete to the Continuous | |

Thu | Sep 03 | 18:00 | Carl Mummert | The strength of König's edge coloring theorem | |

Thu | Aug 27 | 18:00 | Dima Sinapova | Iteration, reflection, and Prikry forcing | |

Thu | Aug 20 | 18:00 | Damir Dzhafarov | Milliken's tree theorem and computability theory | |

Thu | Aug 13 | 18:00 | James Hanson | Strongly Minimal Sets in Continuous Logic | |

Thu | Aug 06 | 18:00 | James Worrell | Decision problems in program analysis | |

Thu | Jul 30 | 18:00 | Manuela Busaniche | Residuated Lattices: algebraic constructions related to substructural logics | |

Thu | Jul 23 | 18:00 | Dana Bartošová | Dynamics of finite products of groups and of group extensions | |

Thu | Jul 16 | 18:00 | Linda Brown Westrick | Borel combinatorics fail in HYP | |

Thu | Jul 09 | 18:00 | Henry Towsner | Should we believe in nonstandard analysis? | |

Thu | Jul 02 | 18:00 | Ruiyuan Chen | Stone duality and strong conceptual completeness for infinitary logic | |

Thu | Jun 25 | 18:00 | Rodrigo Torres-Avilés | Topological Mixing and Linear Recurrence on SMART | |

Thu | Jun 18 | 18:00 | Elaine Pimentel | A game model for proofs with costs | |

Thu | Jun 11 | 18:00 | Samaria Montenegro Guzmán | Model Theory of Pseudo Real Closed Fields | |

Thu | Jun 04 | 18:00 | William Brian | Limited-information strategies in Banach-Mazur games | |

Thu | May 28 | 18:00 | Wesley Holliday | Extensions of choice-free Stone duality | |

Thu | May 21 | 18:00 | Moshe Vardi | The automated-reasoning revolution: From theory to practice and back | |

Thu | May 14 | 18:00 | Chris Porter | Randomness extraction from a computability-theoretic perspective | |

Thu | May 07 | 18:00 | Rebecca Coulson | The Bipartite Diameter 3 Metrically Homogeneous Graphs of Generic Type: Their Ages and Their Almost Sure Theories | |

Thu | Apr 30 | 18:00 | Margaret Thomas | Point counting and parameterizations | |

Thu | Apr 23 | 18:00 | Mariya Soskova | Fragments of the Theory of Enumeration Degrees | |