Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
    Register

Summer School application form
   MSWord | PDF | PS


Enquiries

      General

      Scientific aspects




   

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

top
Best viewed with IE 7 and above