Videos & Slides

L²-Betti numbers and computability of reals
Clara Löh (University Regensburg)
28 November 2022 – Video | Slides

Three views of LPO and LLPO
Jeff Hirst (Appalachian State University)
18 April 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Primitive recursive mathematics
Alexander Melnikov (Victoria University Wellington)
11 April 2022 – Video | Slides

Extensions of embeddings in the $\Sigma^0_2$ enumeration degrees
Jun Le Goh (University of Wisconsin)
4 April 2022 – Video | Slides

Computable isomorphism problem
Valentina Harizanov (George Washington University)
29 March 2022 – Video | Slides

Zero-one laws for finitely presented structures
Meng Che “Turbo” Ho (California State University Northridge)
21 March 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Old and new results on the computably enumerable sets
Peter Cholak (University of Notre Dame)
1 March 2022 – Video | Slides

Algorithmic learning of structures
Ekaterina Fokina (Vienna University of Technology)
21 February 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Strong minimal pair problem
Yua Yang (National University of Singapore)
15 February 2022 – Video | Slides

Kolmogorov extractors and evenly-distributed hypergraphs
Matthew Harrison-Trainor (University of Michigan)
7 February 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)

The dimension spectrum conjecture for lines
Donald Stull (Northwestern University)
24 January 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)

The category of quasi-Polish spaces as a represented space
Matthew de Brecht (Kyoto University)
11 January 2022 – Video | Slides

Arithmetic under negated induction
Tin Lok Wong (National University of Singapore)
15 December 2021 – Video | Slides

Algorithmic randomness and Bayesian convergence
Francesca Zaffora Blando (Carnegie Mellon University)
6 December 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Modelling binary classification
Karen Seidel (Hasso Plattner Institute)
30 November 2021 – Video | Slides

Extending the reach of the point-to-set principle
Elvira Mayordomo (University of Zaragoza)
22 November 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Computability of Harmonic Measure
Cristóbal Rojas (Pontifical Catholic University of Chile)
8 November 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

New examples of degrees of categoricity
Dino Rossegger (UC Berkeley)
2 November 2021 – Video | Slides

Effective convergence notions for measures on the real line
Diego Rojas (Iowa State University)
25 October 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Comparing induction and bounding principles over RCA₀ and RCA₀^*
Sarah Reitzes (University of Chicago)
25 October 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Under what reducibilities are KLR and MLR Medvedev equivalent?
David Webb (University of Hawaiʻi at Mānoa)
11 October 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Cantor-Bendixson Theorem in the Weihrauch lattice
Vittorio Cipriani (University of Udine)
11 October 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Lawvere-Tierney topologies for computability theorists
Takayuki Kihara (Nagoya University)
5 October 2021 – Video | Slides

The computational content of Milliken’s tree theorem
Benoît Monin (Créteil University)
27 September 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

A Characterization of the Strongly η-Representable Many-One Degrees
Josiah Jacobsen-Grocott (University of Wisconsin)
13 September 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Finitely α-generated Structures
Rachael Alvir (University of Notre Dame)
13 September 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

The Membership Problem for 2×2 integer matrices
Pavel Semukhin (University of Oxford)
8 June 2021 – Video | Slides

Some consequences of TD and sTD
Liang Yu (Nanjing University)
2 June 2021 – Video | Slides

Maximal towers and ultrafilter bases in computability theory
Andre Nies (Auckland University)
3 May 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

The discontinuity problem
Vasco Brattka (Universität der Bundeswehr München)
20 April 2021 – Video | Slides

The strength of Borel Wadge comparability
Noam Greenberg (Victoria University of Wellington)
19 April 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Maximal order types of well partial orders
David Belanger (National University of Singapore)
13 April 2021 – Video | Slides

Complexity and Decision Times for ITTMs – The Story of the Bold Conjecture
Merlin Carl (Europa-Universität Flensburg)
6 April 2021 – Video | Slides

Describing structures and classes of structures
Julia Knight (University of Notre Dame)
5 April 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Decidability and Undecidability in the Enumeration Degrees
Steffen Lempp (University of Wisconsin-Madison)
30 March 2021 – Video | Slides

Punctual categoricity and degrees of punctual categoricity for finitely generated structures.
Iskander Kalimullin (Kazan Federal University)
22 March 2021 – Video | Slides

The Reverse Mathematics of Noether’s Decomposition Lemma
Chris Conidis (CUNY – College of Staten Island)
15 March 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Open questions on randomness and uniform distribution
Verónica Becher (Universidad de Buenos Aires)
9 March 2021 – Video | Slides

Classifying word problems
Luca San Mauro (Vienna University of Technology)
2 March 2021 – Video | Slides

A topological approach to undefinability in algebraic extensions of the rationals
Kirsten Eisenträger (The Pennsylvania State University)
1 March 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Current thoughts on Hindman’s Theorem
Jeff Hirst (Appalachian State University)
23 February 2021 – Video | Slides

Normal numbers and perfect necklaces
Verónica Becher (Universidad de Buenos Aires)
15 February 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Primitive recursive ordered fields and some applications
Victor Selivanov (Institute of Informatics Systems, Novosibirsk)
9 February 2021 – Video | Slides

The fixed-point property for represented spaces
Mathieu Hoyrup (LORIA)
2 February 2021 – Video | Slides

The structure of Weihrauch degrees – what we know and what we don’t know
Arno Pauly (Swansea University)
1 February 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Rival-Sands principles in the Weihrauch degrees
Giovanni Soldà (University of Leeds)
26 January 2021 – Video | Slides

Generic realizability for intuitionistic set theory
Emanuele Frittaion (TU Darmstadt)
19 January 2021 – Video | Slides

Automorphism argument and reverse mathematics
Keita Yokoyama (Japan Advanced Institute of Science and Technology)
15 December 2020 – Video | Slides

Luzin’s (N) and randomness reflection
Linda Brown Westrick (Pennsylvania State University)
8 December 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Complexity of root-taking in power series fields & related problems
Karen Lang (Wellesley College)
24 November 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

A family of metrics connecting Jaccard distance to normalized information distance
Bjørn Kjos-Hanssen (University of Hawaii)
17 November 2020 – Video | Slides

Randomness notions and reverse mathematics
Paul Shafer (University of Leeds)
10 November 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

The interplay between randomness and genericity
Laurent Bienvenu (Université de Bordeaux)
10 November 2020 – Video | Slides

On the descriptive complexity of Fourier dimension and Salem sets
Manlio Valenti (Università di Udine)
3 November 2020 – Video | Slides

Fickleness and bounding lattices in the recursively enumerable Turing degrees
Li Ling Ko (University of Notre Dame)
27 October 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Effective embeddings and interpretations
Alexandra Soskova (Sofia University)
20 October 2020 – Video | Slides

Non-arithmetic algebraic constructions
Chris Conidis (CUNY-College of Staten Island)
13 October 2020 – Video | Slides

Reverse mathematics of combinatorial principles over a weak base theory
Leszek Kołodziejczyk (University of Warsaw)
13 October 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

The computable strength of Milliken’s Tree Theorem and applications
Paul-Elliot Anglès d’Auriac (University of Lyon)
6 October 2020 – Video | Slides

Effective Dimension and the Intersection of Random Closed Sets
Christopher Porter (Drake University)
29 September 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Which Lebesgue spaces are computably presentable?
Timothy McNicholl (Iowa State University)
22 September 2020 – Video | Slides

Noncomputable Coding, Density, and Stochasticity
Justin Miller (University of Notre Dame)
15 September 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

The higher levels of the Weihrauch lattice
Alberto Marcone (Università di Udine)
15 September 2020 – Video | Slides

The characterization of Weihrauch reducibility in systems containing E-PA^ω + QF-AC^0,0
Patrick Uftring (Technische Universität Darmstadt)
8 September 2020 – Video | Slides

Part 1 of Martin’s Conjecture for Order Preserving Functions
Patrick Lutz (UC Berkeley)
1 September 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Discovering structure within the class of K-trivial sets
Andre Nies (University of Auckland)
25 August 2020 – Video | Slides

Redundancy of information: lowering effective dimension
Joe Miller (UW Madison)
18 August 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)

Computing descending sequences in linear orderings
Jun Le Goh (UW Madison)
11 August 2020 – Video | Slides

Genericity and randomness with ITTMs
Benoit Monin (LACL/Créteil University)
4 August 2020 – Video | Slides

Priority arguments in descriptive set theory
Andrew Marks (UCLA)
28 July 2020 – Video | Slides

Statistical Chaos — a new barrier in the prediction/simulation of physical systems
Cristóbal Rojas (Universidad Andres Bello)
21 July 2020 – Video | Slides

PA relative to an enumeration oracle
Mariya Soskova (University of Wisconsin-Madison)
14 July 2020 – Video | Slides

Sacks’ Splitting Theorem Re-examined (again)
Rod Downey (Victoria University of Wellington)
7 July 2020 – Video | Slides

A Survey on Analog Models of Computation
Amaury Pouly (CNRS)
30 June 2020 – Video | Slides

Reduction games, provability, and compactness
Sarah Reitzes (University of Chicago)
23 June 2020 – Video | Slides

The coding power of product of partitions
Lu Liu (Central South University)
16 June 2020 – Video | Slides

Rogers semilattices in the analytical hierarchy
Nikolai Bazhenov (Sobolev Institute of Mathematics)
9 June 2020 – Video | Slides

A local approach towards uniform Martin’s conjecture
Vittorio Bard (Università degli Studi di Torino)
2 June 2020 – Video | Slides

Coding in the Automorphism Group of a Structure
Dan Turetsky (Victoria University of Wellington)
26 May 2020 – Video | Slides

Minimal Pairs in the Generic Degrees
Denis R. Hirschfeldt (University of Chicago)
19 May 2020 – Video | Slides

The Tree of Tuples of a Structure
Matthew Harrison-Trainor (Victoria University of Wellington & Massey University)
12 May 2020 – Video | Slides

A theorem from Rival and Sands and reverse mathematics
Marta Fiori Carones (LMU Munich)
5 May 2020 – Video | Slides

Limiting density and free structures
Julia Knight (Notre Dame)
28 April 2020 – Video | Slides

Recursion Theory and Diophantine Approximation
Ted Slaman (UC Berkeley)
21 April 2020 – Video | Slides

About

The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia.

This initiative is born out of the wish to organize something positive in the current situation where normal seminars, conferences and meeting activities are put on hold. If everything runs well, we might even like to continue this seminar series in the future.

Program Committe

Vasco Brattka Universität der Bundeswehr München

Damir Dzhafarov University of Connecticut

Ekaterina Fokina Technische Universität Wien

Noam Greenberg Victoria University of Wellington

Takayuki Kihara Nagoya University

Ludovic Patey Institut Camille Jordan, Lyon

Arno Pauly Swansea University

Linda Brown Westrick Pennsylvania State University

For questions, comments, or speaker suggestions, please email the organizing committee.

Schedule

Subscribe to this calendar: ICAL

You can also find a list of upcoming talks on researchseminars.org.

Mailing List

To join the mailing list, please send an email LISTSERV@LISTSERV.UCONN.EDU as follows:

1. subject line: blank
2. body: SUB CTA_SEMINAR-L YourFirstName YourLastName

(Please substitute your first name for YourFirstName and your last name for YourLastName above.)

Note: If you are subscribing less than 24 hours prior to the start of a scheduled seminar talk, please email the organizers for a link to this talk.

Technical information

All seminars take place on the online conference platform Zoom.

The Zoom link changes from week to week, and is always mailed out to our mailing list prior to that week’s talk..

Participants are asked to keep their microphone on mute during seminar sessions, unless they want to speak publicly in the seminar.

Please note that all seminar meetings are recorded unless otherwise noted.