Institute for Mathematical Sciences Event Archive
Enquiries |
|
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
Venue: IMS Auditorium (Morning session lectures)
Venue:Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
(Discussion session, 2pm - 4pm)
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 |
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 |
Invited Speakers · Visitors and Participants · Overview · Application · Venue · Activities · Contacts
