Institute for Mathematical Sciences                                        Programs & Activities

 

   
 


Online registration form
   

 


Financial assistance application form
   Closed


Enquiries

      General

      Scientific aspects






   

IMS Graduate Summer School in Logic
(15 June - 3 July 2015)

Jointly organized with Department of Mathematics, NUS

 

Venue: IMS Auditorium (Morning session lectures)

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

(15 -23 Jun - 25 Jun - 3 Jul 2015, Discussion session, 2pm - 4pm)


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

(24 Jun 2015, Talks by graduate students, 2pm - 4pm)


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


 Monday, 15 Jun 2015

09:00am - 10:15am

Supercompact cardinals and the inner model problem I

Hugh Woodin, Harvard University, USA

10:15am - 10:45am

--- Group Photo & Coffee Break ---

10:45am - 12:00nn

Supercompact cardinals and the inner model problem II

Hugh Woodin, Harvard University, USA

12:00nn - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 16 Jun 2015

09:15am - 10:30am

Supercompact cardinals and the inner model problem III

Hugh Woodin, Harvard University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Supercompact cardinals and the inner model problem IV

Hugh Woodin, Harvard University, USA

12:15pm - 02:00pm

--- Lunch ---

02:00pm - 04:00pm

Discussion

Wednesday, 17 Jun 2015

09:15am - 10:30am

Supercompact cardinals and the inner model problem V

Hugh Woodin, Harvard University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Supercompact cardinals and the inner model problem VI

Hugh Woodin, Harvard University, USA

12:15pm - 02:00pm

--- Lunch Reception at IMS ---

Thursday, 18 Jun 2015

09:15am - 10:30am

Supercompact cardinals and the inner model problem VII

Hugh Woodin, Harvard University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Supercompact cardinals and the inner model problem VIII

Hugh Woodin, Harvard University, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Friday, 19 Jun 2015

09:15am - 10:30am

Supercompact cardinals and the inner model problem IX

Hugh Woodin, Harvard University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Supercompact cardinals and the inner model problem X

Hugh Woodin, Harvard University, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

 Monday, 22 Jun 2015

09:15am - 10:30am

Descriptive graph combinatorics I

Andrew Marks, California Institute of Technology, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Descriptive graph combinatorics II

Andrew Marks, California Institute of Technology, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 23 Jun 2015

09:15am - 10:30am

Descriptive graph combinatorics III

Andrew Marks, California Institute of Technology, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Descriptive graph combinatorics IV

Andrew Marks, California Institute of Technology, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Wednesday, 24 Jun 2015

09:15am - 10:30am

Descriptive graph combinatorics V

Andrew Marks, California Institute of Technology, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Descriptive graph combinatorics VI

Andrew Marks, California Institute of Technology, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Talks by graduate students

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

02:00pm - 03:00pm

Computable numberings in hierarchies

Marina Dorzhieva, Novosibirsk State University, Russia

03:00pm - 04:00pm

ADS does not imply SCAC

Jun Le Goh, Cornell University, USA

Thursday, 25 Jun 2015

09:15am - 10:30am

Descriptive graph combinatorics VII

Andrew Marks, California Institute of Technology, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Descriptive graph combinatorics VIII

Andrew Marks, California Institute of Technology, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Friday, 26 Jun 2015

09:15am - 10:30am

Descriptive graph combinatorics IX

Andrew Marks, California Institute of Technology, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Descriptive graph combinatorics X

Andrew Marks, California Institute of Technology, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

 Monday, 29 Jun 2015

09:15am - 10:30am

Recursion theory and diophantine approximation I

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

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Recursion theory and diophantine approximation II

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

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 30 Jun 2015

09:15am - 10:30am

Recursion theory and diophantine approximation III

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

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Recursion theory and diophantine approximation IV

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

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Wednesday, 1 Jul 2015

09:15am - 10:30am

Recursion theory and diophantine approximation V

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

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Recursion theory and diophantine approximation VI

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

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

02:00pm - 03:00pm

Character tables, the group conditions, and tractability

William Cocke, University of Wisconsin, USA

03:00pm - 04:00pm

Tukey reducibility among Borel ideals on omega

Jialiang He, Sichuan University, China

06:30pm - 07:30pm

Public Lecture: Alan Turing, Computing, Bletchley, and Mathematics

Rod Downey, Victoria University of Wellington, New Zealand
Venue: Possibility Room, Level 5, National Library Building, 100 Victoria Street, Singapore 188064

Thursday, 2 Jul 2015

09:15am - 10:30am

Recursion theory and diophantine approximation VII

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

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Recursion theory and diophantine approximation VIII

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

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Friday, 3 Jul 2015

09:15am - 10:30am

Recursion theory and diophantine approximation IX

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

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Recursion theory and diophantine approximation X

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

12:15pm - 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