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. The deadline for application is 15 March 2023.
Lecturers
- W Hugh Woodin (Harvard University, USA)
- Theodore A Slaman (University of California at Berkeley, USA)
- Joris van der Hoeven (Centre National de la Recherche Scientifique (CNRS), France)
Activities
| Title | Date | Abstract |
|---|---|---|
| Week 1 (W Hugh Woodin) | 26–30 June 2023 | N/A |
| Week 2 (Theodore A Slaman) | 3–7 July 2023 | N/A |
| Week 3 (Joris van der Hoeven) | 10–14 July 2023 | N/A |
There will be no activities on 29 June 2023 for Singapore public holiday Hari Raya Haji.
Click HERE for application form (Deadline: 15 March 2023)
Successful applicants are expected to be committed to attending the Logic Summer School in its entire duration. Please request your thesis advisor or a professor who is familiar with your work to send a recommendation letter to imsbox2@nus.edu.sg by 15 March 2023.