Recursion Theory and its Applications
Videos from IASM Workshop
Theodore Slaman, University of California, Berkeley
Monday Oct 16, 2023 09:55 - 10:45
Extending Borel’s Conjecture from Measure to Dimension
Mathieu Hoyrup, Inria
Monday Oct 16, 2023 14:00 - 14:50
Products do not preserve computable type
Bakh Khoussainov, University of Electronic Science and Technology of China
Tuesday Oct 17, 2023 09:30 - 10:20
Automatic Structures
Xiaoyan Zhang, Institution of Software, Chinese Academy of Science
Tuesday Oct 17, 2023 10:40 - 11:30
Compression of enumerations and gain
Keng Meng Ng, Nanyang Technological University
Tuesday Oct 17, 2023 14:00 - 14:50
Effective presentations in effective topology and analysis
Andre Nies, The University of Auckland
Tuesday Oct 17, 2023 16:20 - 17:10
Maximal towers and ultrafilter bases in computability theory
Alexander Melnikov, Victoria University of Wellington
Wednesday Oct 18, 2023 09:30 - 10:20
Computable dualities and their applications
Jun Le Goh, National University of Singapore
Wednesday Oct 18, 2023 14:00 - 14:50
Reductions and (resolvable) combinatorial designs
Frank Stephan, National University of Singapore
Wednesday Oct 18, 2023 16:20 - 17:10
Addition Machines and the Open Problems of Floyd and Knuth
Yue Yang, National University of Singapore
Thursday Oct 19, 2023 09:30 - 10:20
COMPUTABILITY OVER FINITE TYPE OBJECTS
Wei Li, Chinese Academy of Sciences
Thursday Oct 19, 2023 10:40 - 11:30
Consistency Checking for Algebraic Delay PDEs in Sequence Rings
George Barmpalias, Chinese Academy of Sciences
Friday Oct 20, 2023 09:30 - 10:20
Avoiding path-random trees
,
Friday Oct 20, 2023 10:40 - 11:30
The computability aspect of extensions of abelian groups
Special Notice:
The videos for IASM workshop 23w5039 are available here: http://videos.birs.ca/2023/23w5039/.
