**James Cummings**(Carnegie Mellon University)**Andrew Marks**(University of California, Los Angeles)**Yue Yang**(National University of Singapore)**Liang Yu**(Nanjing University)

General Enquiries: ims(AT)nus.edu.sg

Scientific Aspects Enquiries: matyangy(AT)nus.edu.sg

Higher recursion theory and the parts of set theory mentioned above have a long history of interaction. The interaction continues until now. This workshop would provide a valuable chance for these communities to interact and work on shared concerns in these areas.

The program will focus on the following topics:

- Martinâ€™s Conjecture;
- higher randomness;
- the HOD conjecture;
- descriptive inner model theory (DIMT), the core model induction and the mouse set conjecture; and
- suitable extender sequences and Ultimate L.

**Collaborative Research and Workshop**: 20 May - 14 June 2019**Workshop on Higher Recursion Theory**: 20 - 24 May 2019**Workshop on Recursion Theory, Set Theory and their interactions**: 27 May - 7 June 2019**Workshop on Set Theory**: 10 - 14 June 2019**IMS Distinguished Visitor Lecture Series****Public Lecture**: 13 June 2019, 6:30pm - 7:30pm

**Can Every Mathematical Problem Be Solved?**

Menachem Magidor, The Hebrew University of Jerusalem, Israel

Venue: Lecture Theatre 31, NUS, Block S16, Level 3, 6 Science Drive 2, Singapore 117546

Please note that our office will be closed on the following public holiday.

- 19 May 2019, Vesak Day, the following Monday, 20 May 2019 will be a Public Holiday.

- 5 Jun 2019, Hari Raya Puasa.