Institute for Mathematical Sciences                                        Programs & Activities

 

   
 


Online registration form
   


Financial assistance application form

  Closed


Enquiries

      General

      Scientific aspects






   

IMS Graduate Summer School in Logic
(27 June - 15 July 2016)

Jointly organized with Department of Mathematics, NUS

 

Venue: IMS Auditorium (27 Jun - 1 Jul 2016, Morning session lectures)

Venue:Blk S17, Seminar Room, #04-06, Department of Mathematics, Faculty of Science, NUS

(4 - 15 Jul 2016, Morning session lectures & 27 Jun - 15 Jul 2016, Discussion session, 2pm - 4pm)


Venue:Blk S17, Seminar Room, #05-12, Department of Mathematics, Faculty of Science, NUS
(4pm - 4.30pm, 7 - 8, 12, 14 July 2016)

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


 Monday, 27 Jun 2016

09:30am - 10:45am

Ultimate L, supercompact cardinals, and the inner model program I

Hugh Woodin, Harvard University, USA

10:45am - 11:15am

--- Group Photo & Coffee Break ---

11:15am - 12:30pm

Ultimate L, supercompact cardinals, and the inner model program II

Hugh Woodin, Harvard University, USA

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 28 Jun 2016

09:30am - 10:45am

Ultimate L, supercompact cardinals, and the inner model program III

Hugh Woodin, Harvard University, USA

10:45am - 11:15am

--- Coffee Break ---

11:15am - 12:30pm

Ultimate L, supercompact cardinals, and the inner model program IV

Hugh Woodin, Harvard University, USA

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Wednesday, 29 Jun 2016

09:30am - 10:45am

Ultimate L, supercompact cardinals, and the inner model program V

Hugh Woodin, Harvard University, USA

10:45am - 11:15am

--- Coffee Break ---

11:15am - 12:30pm

Ultimate L, supercompact cardinals, and the inner model program VI

Hugh Woodin, Harvard University, USA

12:30pm - 02:00pm

--- Lunch Break ---

Thursday, 30 Jun 2016

09:30am - 10:45am

Ultimate L, supercompact cardinals, and the inner model program VII

Hugh Woodin, Harvard University, USA

10:45am - 11:15am

--- Coffee Break ---

11:15am - 12:30pm

Ultimate L, supercompact cardinals, and the inner model programVIII

Hugh Woodin, Harvard University, USA

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Friday, 1 Jul 2016

09:30am - 10:45am

Ultimate L, supercompact cardinals, and the inner model program VIIII

Hugh Woodin, Harvard University, USA

10:45am - 11:15am

--- Coffee Break ---

11:15am - 12:30pm

Ultimate L, supercompact cardinals, and the inner model program X

Hugh Woodin, Harvard University, USA

12:30pm - 02:00pm

--- Lunch Reception at IMS ---

02:00pm - 04:00pm

Discussion

 Monday, 4 Jul 2016

09:00am - 10:30am

Aspects of the Turing jump I

Theodore A. Slaman, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Aspects of the Turing jump II

Theodore A. Slaman, The University of California, Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 5 Jul 2016

09:00am - 10:30am

Aspects of the Turing jump III

Theodore A. Slaman, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Aspects of the Turing jump IV

Theodore A. Slaman, The University of California, Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Wednesday, 6 Jul 2016

Please note that our office will be closed on the following public holiday - Hari Raya Puasa.

Thursday, 7 Jul 2016

09:00am - 10:30am

Aspects of the Turing jump V

Theodore A. Slaman, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Aspects of the Turing jump VI

Theodore A. Slaman, The University of California, Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

04:00pm - 04:30pm

Index sets of structures that are autostable relative to strong constructivizations

Margarita Marchuk, Sobolev Institute of Mathematics, Russian Federation

Friday, 8 Jul 2016

09:00am - 10:30am

Aspects of the Turing jump VII

Theodore A. Slaman, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Aspects of the Turing jump VIII

Theodore A. Slaman, The University of California, Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

04:00pm - 04:30pm

Enumerable functors

Dino Rossegger, Vienna University of Technology, Austria

 Monday, 11 Jul 2016

09:00am - 10:30am

O-minimality: from the fundamental theory to its applications in diophantine geometry I

Thomas Scanlon, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

O-minimality: from the fundamental theory to its applications in diophantine geometry II

Thomas Scanlon, The University of California, Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 12 Jul 2016

09:00am - 10:30am

O-minimality: from the fundamental theory to its applications in diophantine geometry III

Thomas Scanlon, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

O-minimality: from the fundamental theory to its applications in diophantine geometry IV

Thomas Scanlon, The University of California, Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

04:00pm - 05:00pm

Definable amenable groups in o-minimal structures

Ningyuan Yao, Fudan University, China

Wednesday, 13 Jul 2016

09:00am - 10:30am

O-minimality: from the fundamental theory to its applications in diophantine geometry V

Thomas Scanlon, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

O-minimality: from the fundamental theory to its applications in diophantine geometry VI

Thomas Scanlon, The University of California, Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Thursday, 14 Jul 2016

09:00am - 10:30am

O-minimality: from the fundamental theory to its applications in diophantine geometry VII

Thomas Scanlon, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

O-minimality: from the fundamental theory to its applications in diophantine geometry VIII

Thomas Scanlon, The University of California, Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

04:00pm - 05:00pm

Comparison game on trace ideals

Jialiang He, Sichuan University, China

Friday, 15 Jul 2016

09:00am - 10:30am

O-minimality: from the fundamental theory to its applications in diophantine geometry VIIII

Thomas Scanlon, The University of California, Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

 

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

top
Best viewed with IE 7 and above