Overview
The IMS Graduate Summer School in Logic is jointly organized and funded by the Institute for Mathematical Sciences (IMS) and the Department of Mathematics of the National University of Singapore. The Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending.
Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in model theory, recursion theory or set theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems, basic results in model theory and recursion theory, as well as the Gödel and Cohen Consistency and Independence Theorems in Set Theory.
Preference will be given to students who have not attended the summer schools previously held at IMS, but all interested graduate students are welcome to apply.
Lecturers:
William Johnson (Fudan University, China)
Theodore A Slaman (University of California at Berkeley, USA)
W Hugh Woodin (Harvard University, USA)
Activities
| Date | Abstract | |
|---|---|---|
| Week One (Lectures by Will Johnson) | 29 June–3 July 2026 | N/A |
| Week Two | 6–10 July 2026 | N/A |
| Week Three | 13–17 July 2026 | N/A |
Venue
Block S17, 05-12
10 Lower Kent Ridge Road
Singapore 119076
Application is now OPEN.
Please click on this link to apply.
Applications are invited from interested students. Up to 30 students will be offered financial support. Selected overseas participants will be provided stipend, accommodation and partial funding for travel.
In the application, submit the following documents (in PDF format). Kindly ensure that the files are not password protected:
• Student ID (rename file as FIRSTNAME_FAMILYNAME_ID.PDF);
• CV (rename file as FIRSTNAME_FAMILYNAME_CV.PDF).
If the documents are not in English, please obtain a translated version.
Applicants are required to obtain a letter of recommendation from their supervisor to support their application. The letter should be from the thesis advisor or a professor who is familiar with the student's work. It should be submitted directly by the thesis advisor/professor to imsbox2(AT)nus.edu.sg.
Deadline for application is 31 March 2026.
Completed applications will be considered on a rolling basis from 30 March 2025 and applicants notified of the decisions by between 1 and 15 April 2026.