|
|
|
Summer School in Logic
(2 - 31 Jul 2007)
Venue: IMS Auditorium (3-6 Jul
2007)
Venue: CRA, S14 #03-10, Department of Mathematics
(Every Mon, Wed and Fri, from 9-30 Jul 2007)
Venue:
CRB, S14 #03-09, Department of Mathematics
(Fri, 2pm-4pm, 6 Jul 2007)
(Every Tue and Thur, 2pm-4pm, from 10-31 Jul 2007)
Tuesday, 3 Jul 2007 |
09:30am - 10:30am |
Lecture on recursion theory in the
constructible universe
Part I: An introduction to higher recursion theory
Liang Yu, Nanjing University,
China |
10:30am - 11:00am |
|
11:00am - 12:00nn |
Lecture on recursion theory in the
constructible universe
Part I: An introduction to higher recursion theory
Liang Yu, Nanjing University,
China |
« Back...
02:00pm - 03:00pm |
Lectures on Algorithmic Randomness
Frank Stephan, National
University of Singapore |
03:00pm - 03:30pm |
--- Coffee break --- |
03:30pm - 04:30pm |
Lectures on Algorithmic Randomness
Frank Stephan, National
University of Singapore |
« Back...
Thursday, 5 Jul 2007 |
09:30am - 10:30am |
Lecture on recursion theory in the
constructible universe
Part I: An introduction to higher recursion theory
Liang Yu, Nanjing University,
China |
10:30am - 11:00am |
|
11:00am - 12:00nn |
Lecture on recursion theory in the
constructible universe
Part I: An introduction to higher recursion theory
Liang Yu, Nanjing University,
China |
« Back...
09:30am - 10:30am |
Lecture on recursion theory in the
constructible universe
Part I: An introduction to higher recursion theory
Liang Yu, Nanjing University,
China |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lecture on recursion theory in the
constructible universe
Part I: An introduction to higher recursion theory
Liang Yu, Nanjing University,
China |
12:00nn - 02:00pm |
--- Lunch break --- |
02:00pm - 04:00pm |
Student Logic Seminar |
« Back...
09:30am - 10:30am |
Lectures on Recursion Theory
Theodore A. Slaman, University
of California at Berkeley |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Recursion Theory
Theodore A. Slaman, University
of California at Berkeley |
« Back...
02:00pm - 04:00pm |
Student Logic Seminar |
« Back...
09:30am - 10:30am |
Lectures on Algorithmic Randomness
Frank Stephan, National
University of Singapore |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Algorithmic Randomness
Frank Stephan, National
University of Singapore |
« Back...
02:00pm - 04:00pm |
Student Logic Seminar |
« Back...
09:30am - 10:30am |
Lectures on Set Theory
W. Hugh Woodin, University of
California at Berkeley |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Set Theory
W. Hugh Woodin, University of
California at Berkeley |
« Back...
09:30am - 10:30am |
Lectures on Recursion Theory
Theodore A. Slaman, University
of California at Berkeley |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Recursion Theory
Theodore A. Slaman, University
of California at Berkeley |
« Back...
02:00pm - 04:00pm |
Student Logic Seminar |
« Back...
09:30am - 10:30am |
Lectures on Algorithmic Randomness
Frank Stephan, National
University of Singapore |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Algorithmic Randomness
Frank Stephan, National
University of Singapore |
« Back...
02:00pm - 04:00pm |
Student Logic Seminar |
« Back...
09:30am - 10:30am |
Lectures on Set Theory
W. Hugh Woodin, University of
California at Berkeley |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Set Theory
W. Hugh Woodin, University of
California at Berkeley |
« Back...
09:30am - 10:30am |
Lectures on Recursion Theory
Theodore A. Slaman, University
of California at Berkeley |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Recursion Theory
Theodore A. Slaman, University
of California at Berkeley |
« Back...
02:00pm - 04:00pm |
Student Logic Seminar |
« Back...
02:00pm - 04:00pm |
Student Logic Seminar |
« Back...
09:30am - 10:30am |
Lectures on Set Theory
W. Hugh Woodin, University of
California at Berkeley |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Set Theory
W. Hugh Woodin, University of
California at Berkeley |
« Back...
09:30am - 10:30am |
Lectures on Recursion Theory
Theodore A. Slaman, University
of California at Berkeley |
10:30am - 11:00am |
--- Coffee break --- |
11:00am - 12:00nn |
Lectures on Recursion Theory
Theodore A. Slaman, University
of California at Berkeley |
12:00nn - 02:00pm |
--- Lunch break --- |
02:00pm - 03:00pm |
Lectures on Set Theory
W. Hugh Woodin, University of
California at Berkeley |
03:00pm - 03:30pm |
--- Coffee break --- |
03:30pm - 04:30pm |
Lectures on Set Theory
W. Hugh Woodin, University of
California at Berkeley |
« Back...
02:00pm - 04:00pm |
Student Logic Seminar |
« Back...
|
|
