| Your time | Speaker | Title | |
| 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 | |
