Institute for Mathematical Sciences Event Archive
Enquiries |
|
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
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 |
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 |
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 |
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 |
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
