Summer School in Logic
(30 June - 26 July 2008)
Jointly organized with Department of Mathematics
Organizing Committee · Invited Speakers · Visitors and Participants · Overview · Venue · Activities · Contacts
Venue: IMS Auditorium (1 Jul - 9 Jul 2008, 12 - 25 Jul 2008)
Venue: CRA, S14 #03-10, Department of Mathematics (30 Jun, 10 - 11 Jul 2008)
Venue: CRB, S14 #03-09, Department of Mathematics (Every Mon, Tues, Thurs and Fri, from 2pm-4pm 30 Jun - 25 Jul 2008)
30 Jun - 4 Jul 2008
· 7 - 11 Jul 2008 · 14 - 18 Jul 2008 · 21 - 25 Jul 2008
Monday,
30 Jun 2008
|
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,
1 Jul 2008
|
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,
3 Jul 2008
|
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,
4 Jul 2008
|
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 |
30 Jun - 4 Jul 2008 · 7 - 11 Jul 2008 · 14 - 18 Jul 2008 · 21 - 25 Jul 2008
Monday,
7 Jul 2008
|
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,
8 Jul 2008
|
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,
10 Jul 2008
|
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,
11 Jul 2008
|
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 |
30 Jun - 4 Jul 2008 · 7 - 11 Jul 2008 · 14 - 18 Jul 2008 · 21 - 25 Jul 2008
Monday,
14 Jul 2008
|
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,
15 Jul 2008
|
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,
17 Jul 2008
|
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,
18 Jul 2008
|
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 |
30 Jun - 4 Jul 2008 · 7 - 11 Jul 2008 · 14 - 18 Jul 2008 · 21 - 25 Jul 2008
Monday,
21 Jul 2008
|
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,
22 Jul 2008
|
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,
24 Jul 2008
|
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,
25 Jul 2008
|
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 |
30 Jun - 4 Jul 2008 · 7 - 11 Jul 2008 · 14 - 18 Jul 2008 · 21 - 25 Jul 2008
