Institute for Mathematical Sciences                                        Programs & Activities

 

   
 


Online registration form
   

 


Financial assistance application form
   Closed


Enquiries

      General

      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


Venue: IMS Auditorium (Morning session lectures)
Venue:Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS

(Discussion session, 2pm - 4pm)

 

 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

 

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

top
Best viewed with IE 7 and above