Birs- 23w5039: Recursion Theory and its Applications

  1. Title:
    Extending Borel’s Conjecture from Measure to Dimension
    Speaker:
    Theodore Slaman

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310160955-Slaman.html

  2. Title:
    Products do not preserve computable type
    Speaker:
    Mathieu Hoyrup

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310161400-Hoyrup.html

  3. Title:
    Automatic Structures
    Speaker:
    Bakh Khoussainov

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310170930-Khoussainov.html

  4. Title:
    Compression of enumerations and gain
    Speaker:
    Xiaoyan Zhang

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310171040-Zhang.html

  5. Title:
    Effective presentations in effective topology and analysis
    Speaker:
    Keng Meng Ng

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310171400-Ng.html

  6. Title:
    Maximal towers and ultrafilter bases in computability theory
    Speaker:
    Andre Nies

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310171620-Nies.html

  7. Title:
    Computable dualities and their applications
    Speaker:
    Alexander Melnikov

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310180930-Melnikov.html

  8. Title:
    Reductions and (resolvable) combinatorial designs
    Speaker:
    Jun Le Goh

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310181400-Goh.html

  9. Title:
    Addition Machines and the Open Problems of Floyd and Knuth
    Speaker:
    Frank Stephan

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310181620-Stephan.html

  10. Title:
    COMPUTABILITY OVER FINITE TYPE OBJECTS
    Speaker:
    Yue Yang

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310190930-Yang.html

  11. Title:
    Consistency Checking for Algebraic Delay PDEs in Sequence Rings
    Speaker:
    Wei Li

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310191040-Li.html

  12. Title:
    Avoiding path-random trees
    Speaker:
    George Barmpalias

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310200930-Barmpalias.html

  13. Title:
    The computability aspect of extensions of abelian groups
    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5039/videos/watch/202310201040-Yang.html