20 May - 14 June 2019, Workshop on Higher Recursion Theory & Set Theory, Singapore, Singapore

The programme will focus on the part of recursion theory that studies subsets of the natural numbers beyond arithmetical sets, and the theory of computability or definability on domains beyond the set of natural numbers, including Martin's conjecture and higher randomness. In set theory, it will concern topics that have close connections with definability, such as Woodin's program on ultimate L, the HOD conjecture, and descriptive inner model theory.

This program also marks the 65th birthdays of Ted Slaman and Hugh Woodin, which occur in 2019 and 2020.