BIRS-IASM Seminar 23w5039: Recursion Theory and its Applications in Advanced Study in Mathematics (IASM) Hangzhou, China, October 15 to October 20, 2023
Organizers: Liang Yu, Verónica Becher, Laurent Bienvenu, Noam Greenberg, Joseph Miller, Manlio Valenti.