Recordings and slides (and some related papers) from the special session in Computability Theory (July 7-8, 2021, European Logic Colloquiuium 2021, Poznań, co-organized by Matthew Harrison-Trainor and Steffen Lempp)

Kolya Bazhenov: Primitive recursive algebraic structures, and the theory of numberings: recording and slides (see also related paper 1 and related paper 2)
Arman Darbinyan: Computable groups and computable group orderings: recording and slides (see also related paper 1 and related paper 2)
Jun Le Goh: Redundancy of information: Lowering effective dimension: recording and slides
Leszek Kołodziejczyk: Weak König's Lemma in the absence of Σ⁰₁-induction: recording and slides

Legal Notice: The above recordings are copyrighted and may be downloaded and/or shared for personal or non-profit educational use only.