Tue | Apr 04 | 10:00 | Juan Aguilera | Determinacy in Second-Order Arithmetic | |

Tue | Feb 21 | 14:00 | Valentino Delle Rose | Computable PAC learning | |

Mon | Jan 30 | 20:00 | Linus Richter | Co-analytic Counterexamples to Marstrand’s Projection Theorem | |

Mon | Nov 28 | 13:00 | Clara Löh | $L^2$-Betti numbers and computability of reals | |

Wed | Apr 27 | 08:00 | Stefan Vatev | Effective embeddings for classes of structures via enumeration operators | |

Mon | Apr 18 | 20:30 | Jeff Hirst | Three views of LPO and LLPO | |

Tue | Apr 12 | 01:00 | Alexander Melnikov | Primitive recursive mathematics | |

Mon | Apr 04 | 20:30 | Jun Le Goh | Extensions of embeddings in the $\Sigma^0_2$ enumeration degrees | |

Wed | Mar 30 | 00:00 | Valentina Harizanov | Computable isomorphism problem | |

Mon | Mar 21 | 20:30 | Meng Che "Turbo" Ho | Zero-one laws for finitely presented structures | |

Wed | Mar 16 | 13:00 | Rupert Hölzl | Rank and Randomness (Cancelled) | |

Tue | Mar 01 | 20:00 | Peter Cholak | Old and new results on the computably enumerable sets | |

Mon | Feb 21 | 21:30 | Ekaterina Fokina | Algorithmic learning of structures | |

Tue | Feb 15 | 01:00 | Yue Yang | Strong minimal pair problem | |

Mon | Feb 07 | 21:30 | Matthew Harrison-Trainor | Kolmogorov extractors and evenly-distributed hypergraphs | |

Tue | Feb 01 | 16:00 | Emmanuel Rauzy | Computable analysis on the space of marked groups | |

Mon | Jan 24 | 21:30 | Donald Stull | The dimension spectrum conjecture for lines | |

Tue | Jan 11 | 12:00 | Matthew de Brecht | The category of quasi-Polish spaces as a represented space | |

Wed | Dec 15 | 09:00 | Tin Lok Wong | Arithmetic under negated induction | |

Mon | Dec 06 | 21:30 | Francesca Zaffora Blando | Algorithmic randomness and Bayesian convergence | |

Tue | Nov 30 | 20:00 | Karen Seidel | Modelling binary classification | |

Mon | Nov 22 | 21:30 | Elvira Mayordomo | Extending the reach of the point-to-set principle | |

Mon | Nov 08 | 21:30 | Cristóbal Rojas | Computability of Harmonic Measure | |

Tue | Nov 02 | 20:00 | Dino Rossegger | New examples of degrees of categoricity | |

Mon | Oct 25 | 21:00 | Diego Rojas | Effective convergence notions for measures on the real line | |

Mon | Oct 25 | 20:30 | Sarah Reitzes | Comparing induction and bounding principles over RCA0 and RCA*0 | |

Mon | Oct 11 | 21:00 | David Webb | TBA | |

Mon | Oct 11 | 20:30 | Vittorio Cipriani | Cantor-Bendixson Theorem in the Weihrauch lattice | |

Tue | Oct 05 | 13:00 | Takayuki Kihara | Lawvere-Tierney topologies for computability theorists | |

Mon | Sep 27 | 20:30 | Benoit Monin | The computational content of Milliken’s tree theorem | |

Mon | Sep 13 | 21:00 | Josiah Jacobsen-Grocott | A Characterization of the Strongly η-Representable Many-One Degrees | |

Mon | Sep 13 | 20:30 | Rachael Alvir | Finitely α-generated Structures | |

Tue | Jun 08 | 13:00 | Pavel Semukhin | The Membership Problem for 2x2 integer matrices | |

Thu | Jun 03 | 01:00 | Liang Yu | Some consequences of TD and sTD. | |

Mon | May 03 | 20:30 | Andre Nies | Maximal towers and ultrafilter bases in computability theory | |

Tue | Apr 20 | 16:00 | Vasco Brattka | The Discontinuity Problem | |

Mon | Apr 19 | 20:30 | Noam Greenberg | The strength of Borel Wadge comparability | |

Tue | Apr 13 | 08:00 | David Belanger | Maximal order types of well partial orders | |

Tue | Apr 06 | 08:00 | Merlin Carl | Complexity and Decision Times for ITTMs - The Story of the Bold Conjecture | |

Mon | Apr 05 | 20:30 | Julia Knight | Describing structures and classes of structures | |

Wed | Mar 31 | 01:00 | Steffen Lempp | Decidability and Undecidability in the Enumeration Degrees | |

Tue | Mar 23 | 14:00 | Iskander Kalimullin | Punctual categoricity and degrees of punctual categoricity for finitely generated structures. | |

Mon | Mar 15 | 20:30 | Chris Conidis | The Reverse Mathematics of Noether's Decomposition Lemma | |

Tue | Mar 09 | 17:00 | Verónica Becher | Open questions on randomness and uniform distribution | |

Tue | Mar 02 | 13:00 | Luca San Mauro | Classifying word problems | |

Mon | Mar 01 | 21:30 | Kirsten Eisenträger | A topological approach to undefinability in algebraic extensions of the rationals | |

Tue | Feb 23 | 20:00 | Jeff Hirst | Current thoughts on Hindman’s Theorem | |

Mon | Feb 15 | 21:30 | Verónica Becher | Normal numbers and perfect necklaces | |

Tue | Feb 09 | 13:00 | Victor Selivanov | Primitive recursive ordered fields and some applications | |

Tue | Feb 02 | 15:00 | Mathieu Hoyrup | The fixed-point property for represented spaces | |

Mon | Feb 01 | 21:30 | Arno Pauly | The structure of Weihrauch degrees - what we know and what we don't know | |

Tue | Jan 26 | 15:00 | Giovanni Soldà | Rival-Sands principles in the Weihrauch degrees | |

Tue | Jan 19 | 09:00 | Emanuele Frittaion | Generic realizability for intuitionistic set theory | |

Wed | Dec 16 | 00:30 | Keita Yokoyama | Automorphism argument and reverse mathematics | |

Tue | Dec 08 | 21:00 | Linda Brown Westrick | Luzin's (N) and randomness reflection | |

Tue | Nov 24 | 21:00 | Karen Lange | Complexity of root-taking in power series fields & related problems | |

Tue | Nov 17 | 23:00 | Bjørn Kjos-Hanssen | A family of metrics connecting Jaccard distance to normalized information distance | |

Tue | Nov 10 | 21:00 | Paul Shafer | Randomness notions and reverse mathematics | |

Tue | Nov 10 | 14:00 | Laurent Bienvenu | The interplay between randomness and genericity | |

Tue | Nov 03 | 14:00 | Manlio Valenti | On the descriptive complexity of Fourier dimension and Salem sets | |

Tue | Oct 27 | 20:00 | Li Ling Ko | Fickleness and bounding lattices in the recursively enumerable Turing degrees | |

Tue | Oct 20 | 14:00 | Alexandra Soskova | Effective embeddings and interpretations | |

Wed | Oct 14 | 01:00 | Chris Conidis | Non-arithmetic algebraic constructions | |

Tue | Oct 13 | 20:00 | Leszek Kołodziejczyk | Reverse mathematics of combinatorial principles over a weak base theory | |

Tue | Oct 06 | 13:00 | Paul-Elliot Angles d'Auriac | The computable strength of Milliken's Tree Theorem and applications | |

Tue | Sep 29 | 20:00 | Christopher Porter | Effective Dimension and the Intersection of Random Closed Sets | |

Wed | Sep 23 | 00:00 | Timothy McNicholl | Which Lebesgue spaces are computably presentable? | |

Tue | Sep 15 | 20:00 | Justine Miller | Noncomputable Coding, Density, and Stochasticity | |

Tue | Sep 15 | 13:00 | Alberto Marcone | The higher levels of the Weihrauch lattice | |

Tue | Sep 08 | 14:00 | Patrick Uftring | The characterization of Weihrauch reducibility in systems containing $E$-$PA^\omega$ + $QF$-$AC^{0,0}$ | |

Tue | Sep 01 | 20:00 | Patrick Lutz | Part 1 of Martin's Conjecture for Order Preserving Functions | |

Wed | Aug 26 | 01:00 | Andre Nies | Discovering structure within the class of K-trivial sets | |

Tue | Aug 18 | 20:00 | Joe Miller | Redundancy of information: lowering effective dimension | |

Tue | Aug 11 | 14:00 | Jun Le Goh | Computing descending sequences in linear orderings | |

Tue | Aug 04 | 14:00 | Benoit Monin | Genericity and randomness with ITTMs | |

Tue | Jul 28 | 21:00 | Andrew Marks | Priority arguments in descriptive set theory | |

Tue | Jul 21 | 15:00 | Cristóbal Rojas | Statistical Chaos — a new barrier in the prediction/simulation of physical systems | |

Tue | Jul 14 | 20:00 | Mariya Soskova | PA relative to an enumeration oracle | |

Wed | Jul 08 | 01:00 | Rod Downey | Sacks' Splitting Theorem Re-examined (again) | |

Tue | Jun 30 | 14:00 | Amaury Pouly | A Survey on Analog Models of Computation | |

Tue | Jun 23 | 20:00 | Sarah Reitzes | Reduction games, provability, and compactness | |

Wed | Jun 17 | 01:00 | Lu Liu | The coding power of products of partitions | |

Tue | Jun 09 | 14:00 | Nikolai Bazhenov | Rogers semilattices in the analytical hierarchy | |

Tue | Jun 02 | 14:00 | Vittorio Bard | A local approach towards uniform Martin’s conjecture | |

Wed | May 27 | 01:00 | Dan Turetsky | Coding in the automorphism group of a structure | |

Tue | May 19 | 20:00 | Denis Hirschfeldt | Minimal pairs in the generic degrees | |

Wed | May 13 | 01:00 | Matthew Harrison-Trainor | The tree of tuples of a structure | |

Tue | May 05 | 20:00 | Marta Fiori Carones | A theorem from Rival and Sands and reverse mathematics | |

Tue | Apr 28 | 12:00 | Julia Knight | Limiting Density and Free Structures | |

Tue | Apr 21 | 14:00 | Theodore Slaman | Recursion Theory and Diophantine Approximation | |