Summer School in Logic
(29 June - 24 July 2009)
Jointly organized with Department of Mathematics
Organizing Committee · Invited Speakers · Visitors and Participants · Overview · Activities · Venue · Contacts
Venue: IMS Auditorium (Morning session: 29 Jun - 17 Jul 2009)
Venue: CRA, S14 #03-10, Department of Mathematics
(20 - 24 Jul 2009 & all afternoon session)
29 Jun - 3 Jul 2009
· 6 - 10 Jul 2009 · 13 - 17 Jul 2009 · 20 - 24 Jul 2009
Monday,
29 Jun 2009
|
09:30am -
10:30am |
Recursion Theory
Frank Stephan, National University of Singapore |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Frank Stephan, National University of Singapore |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 03:00pm |
Discussion in Department of Mathematics |
Tuesday,
30 Jun 2009
|
09:30am -
10:30am |
Recursion Theory
Frank Stephan, National University of Singapore |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Frank Stephan, National University of Singapore |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Thursday,
2 Jul 2009
|
09:30am -
10:30am |
Recursion Theory
Frank Stephan, National University of Singapore |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Frank Stephan, National University of Singapore |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Friday,
3 Jul 2009
|
09:30am -
10:30am |
Recursion Theory
Frank Stephan, National University of Singapore |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Frank Stephan, National University of Singapore |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
29 Jun - 3 Jul 2009 · 6 - 10 Jul 2009 · 13 - 17 Jul 2009 · 20 - 24 Jul 2009
Monday,
6 Jul 2009
|
09:30am -
10:30am |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Tuesday,
7 Jul 2009
|
09:30am -
10:30am |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Thursday,
9 Jul 2009
|
09:30am -
10:30am |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Friday,
10 Jul 2009
|
09:30am -
10:30am |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
29 Jun - 3 Jul 2009 · 6 - 10 Jul 2009 · 13 - 17 Jul 2009 · 20 - 24 Jul 2009
Monday,
13 Jul 2009
|
09:30am -
10:30am |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Tuesday,
14 Jul 2009
|
09:30am -
10:30am |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Recursion Theory
Theodore A. Slaman, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Thursday,
16 Jul 2009
|
09:30am -
10:30am |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
12:00nn - 03:00pm |
--- Lunch Break --- |
03:00pm - 04:00pm |
Discussion in Department of Mathematics |
Friday,
17 Jul 2009
|
09:30am -
10:30am |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
29 Jun - 3 Jul 2009 · 6 - 10 Jul 2009 · 13 - 17 Jul 2009 · 20 - 24 Jul 2009
Monday,
20 Jul 2009
|
09:30am -
10:30am |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Tuesday,
21 Jul 2009
|
09:30am -
10:30am |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Thursday,
23 Jul 2009
|
09:30am -
10:30am |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
Friday,
24 Jul 2009
|
09:30am -
10:30am |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:00nn |
Set Theory
W. Hugh Woodin, University of California at Berkeley, USA |
12:00nn - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion in Department of Mathematics |
29 Jun - 3 Jul 2009 · 6 - 10 Jul 2009 · 13- 17 Jul 2009 · 20 - 24 Jul 2009
Organizing Committee · Invited Speakers · Visitors and Participants · Overview · Activities · Venue · Contacts