Institute for Mathematical Sciences                                        Programs & Activities



Online registration form


Financial assistance application form



      Scientific aspects


IMS Graduate Summer School in Logic
(23 June - 4 July 2014)

Jointly organized with Department of Mathematics, NUS


Invited Speakers · Visitors and Participants · Overview · Application · Venue · Activities · Contacts


 Invited Speakers


  • Qi Feng (Chinese Academy of Sciences, China)
  • W. Hugh Woodin (Harvard University)
  • Liang Yu (Nanjing University)


 Visitors and Participants





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 either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems, basic results in recursion theory, as well as the Gödel and Cohen 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.



Applications are invited from interested students. Graduate student participants from overseas may apply for a stipend of Singapore S$1,000 (Singapore Dollars) plus free accommodation. Up to 25 students will be offered financial support.

Application for financial support is closed.






Lectures in Recursion Theory by Liang Yu, Nanjing University

Lectures in Set Theory by Qi Feng, Chinese Academy of Sciences and Hugh Woodin, Harvard University

Click here for the schedule
23 Jun - 4 Jul 2014






Invited Speakers · Visitors and Participants · Overview · Application · Venue · Activities · Contacts

Best viewed with IE 7 and above