Schedule for STEFFEN LEMPP's birthday conference

Friday, September 13, 2019

2:00 - 2:30 Van Vleck B211 Uri Andrews, Some stories about Steffen.
2:30 - 3:00 Van Vleck B203 Coffee break
3:00 - 3:30 Van Vleck B211 Richard Shore, Infnite ray theorems: Complexity and reverse mathematics: Theorems of hyperarithmetic analysis.
3:40 - 4:10 Van Vleck B223 Denis Hirschfeldt, Combinatorial principles, induction, and bounding.
4:20 - 4:50 Van Vleck B223 Carl Jockusch, Dense computability, effectively dense computability, and related reducibilities.
5:00 - 5:30 Van Vleck B223 Reed Solomon, Computable traceability, exact pairs, and lowness for isomorphism.

Saturday, September 14, 2019

All lectures in Van Hise Room 594

8:30 - 8:50 Barbara Csima, Optimal bounds for single-source Kolmogorov extractors.
9:00 - 9:20 Damir Dzhafarov, First-order parts of Weihrauch problems.
9:30 - 9:50 Linda Westrick, More universality in two-dimensional shifts of finite type.
10:00 - 10:20 Peter Cholak, Thin sets and the preservation of hyperimmunities.
10:30 - 11:15 Ted Slaman, Extension of embeddings in the enumeration degrees.
2:00 - 2:45 Antonio Montalban, Transfinite ramsey theorem.
3:00 - 3:20 Jeff Hirst, More reverse mathematics motivated by finite complexity theory.
3:30 - 3:50 Reese Johnston, Weak computability in the $\kappa$-Turing degrees.
4:00 - 4:45 Rod Downey, Foundations of online structure theory.
7:00 - 10:00 Dinner at the Essen Haus. Please register here if you are coming.

Sunday, September 15, 2019

All lectures in Van Hise Room 594

8:30 - 8:50 Julia Knight, Interpretations with and without parameters.
9:00 - 9:20 Russel Miller, Degrees of transcendence bases of computable fields.
9:30 - 9:50 Iskander Kalimullin, Primitive recursive structures and copyable structures.
10:00 - 10:45 Chris Laskowski, Counting siblings.
1:30 - 2:15 Alf Dolich, Tame expansions of Presburger arithmetic.

Prepared by Mariya Soskova (@math.wisc.edu">msoskovamath.wisc.edu)