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.
Application |
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.
Applications are open and all students must apply using the online financial assistance application form.
We strongly encourage applications to be submitted by 17 March 2014 (Monday), and decisions will be made from 1 April 2014 on a rolling basis.
Activities |
Week 1: Lectures in Set Theory by Hugh Woodin, Harvard University
Week 2: Lectures in Recursion Theory by Liang Yu, Nanjing University
Contacts |
- General enquiries: Secretary (ims(AT)nus.edu.sg)
- Scientific aspects: Chi Tat Chong (matcct(AT)nus.edu.sg)
Monday, 23 Jun 2014 | |
09:00am – 10:30am | Recursion theory I (PDF)
Liang Yu, Nanjing University, China |
10:30am – 11:00am | — Coffee Break — |
11:00am – 12:30pm | Recursion theory II (PDF)
Liang Yu, Nanjing University, China |
12:30pm – 02:00pm | — Lunch Break — |
02:00pm – 04:00pm | Discussion |
Tuesday, 24 Jun 2014 | |
09:00am – 10:30am | Recursion theory III (PDF)
Liang Yu, Nanjing University, China |
10:30am – 11:00am | — Coffee Break — |
11:00am – 12:30pm | Recursion theory IV (PDF)
Liang Yu, Nanjing University, China |
12:30pm – 02:00pm | — Lunch Break — |
02:00pm – 04:00pm | Discussion |
Wednesday, 25 Jun 2014 | |
09:00am – 10:15am | Recursion theory V (PDF)
Liang Yu, Nanjing University, China |
10:15am – 10:45am | — Coffee Break — |
10:45am – 12:00nn | Recursion theory VI (PDF)
Liang Yu, Nanjing University, China |
12:00nn – 02:00pm | — Lunch Reception at IMS — |
Thursday, 26 Jun 2014 | |
09:00am – 10:15am | Set theory I
Qi Feng, Chinese Academy of Sciences, China |
10:15am – 10:45am | — Coffee Break — |
10:45am – 12:00nn | Set theory II
Qi Feng, Chinese Academy of Sciences, China |
12:00nn – 02:00pm | — Lunch Break — |
02:00pm – 04:00pm | Discussion |
Friday, 27 Jun 2014 | |
09:00am – 10:15am | Set theory III
Qi Feng, Chinese Academy of Sciences, China |
10:15am – 10:45am | — Coffee Break — |
10:45am – 12:00nn | Set theory IV
Qi Feng, Chinese Academy of Sciences, China |
12:00nn – 02:00pm | — Lunch Break — |
02:00pm – 04:00pm | Discussion |
Monday, 30 Jun 2014 | |
09:00am – 10:15am | Set theory I
Hugh Woodin, Harvard University, USA |
10:15am – 10:45am | — Group Photo & Coffee Break — |
10:45am – 12:00nn | Set theory II
Hugh Woodin, Harvard University, USA |
12:00nn – 02:00pm | — Lunch Break — |
02:00pm – 04:00pm | Discussion |
Tuesday, 1 Jul 2014 | |
09:00am – 10:15am | Set theory III
Hugh Woodin, Harvard University, USA |
10:15am – 10:45am | — Coffee Break — |
10:45am – 12:00nn | Set theory IV
Hugh Woodin, Harvard University, USA |
12:00nn – 02:00pm | — Lunch Break — |
02:00pm – 04:00pm | Discussion |
Wednesday, 2 Jul 2014 | |
09:00am – 10:15am | Set theory V
Hugh Woodin, Harvard University, USA |
10:15am – 10:45am | — Coffee Break — |
10:45am – 12:00nn | Set theory VI
Hugh Woodin, Harvard University, USA |
12:00nn – 02:00pm | — Lunch — |
Thursday, 3 Jul 2014 | |
09:00am – 10:15am | Set theory VII
Hugh Woodin, Harvard University, USA |
10:15am – 10:45am | — Coffee Break — |
10:45am – 12:00nn | Set theory VIII
Hugh Woodin, Harvard University, USA |
12:00nn – 02:00pm | — Lunch Break — |
02:00pm – 04:00pm | Discussion |
Friday, 4 Jul 2014 | |
09:00am – 10:15am | Set theory IX
Hugh Woodin, Harvard University, USA |
10:15am – 10:45am | — Coffee Break — |
10:45am – 12:00nn | Set theory X
Hugh Woodin, Harvard University, USA |
12:00nn – 02:00pm | — Lunch Break — |
02:00pm – 04:00pm | Discussion |