Tentative Program

Download the program PDF file here.


 

 

 

Oct.11

(Sunday)

Oct.12

(Monday)

Oct.13

(Tuesday)

Oct.14

(Wednesday)

Oct.15

(Thursday)

08:20-08:30

 

Registration

 

Opening Ceremony

Tour

08:30-09:10

Edmund Clarke

Laszlo Lovasz

09:10-09:30

Richard Karp

09:30-10:10

John Hopcroft

Silvio Micali

10:10-10:30

Group Photo

10:30-11:00

Coffee Break

11:00-12:00

Michael Rabin

Raj Reddy

David Patterson

12:00-14:00

Lunch

14:00-15:00

Sanjeev Arora

Charlie Catlett

Open Forum:
China Computer Science Vision 2020

15:00-16:00

Christos Papadimitriou

Daphne Koller

16:00-16:30

Coffee Break

Closing Ceremony

16:30-17:00

Avi Wigderson

Jeannette Wing

16:30-17:30

 

18:00-19:30

Reception

Dinner

Banquet

Dinner

19:30-19:50

National Opera House

19:50-20:00

Lao She Teahouse

20:00-21:30

 

 

 

Monday October 12, 2009

TIME

ACTIVITIES

VENUE

08:20-09:10

Opening Ceremony

Lecture Hall
(2nd Floor), FIT Building

09:10-10:10

Chair:
Andrew Yao

Title: What Makes an Algorithm Great?
Richard Karp

10:10-10:30

Group Photo

 Photo at Main Gate of FIT Building

10:30-11:00

 Coffee Break

Lecture Hall
(2nd Floor), FIT Building

11:00-12:00

Chair:
Andrew Yao

Title:Privacy and Secrecy in the Age of the Internet and Search Engines
Michael Rabin

12:00-14:00

Lunch

Wenjin Hotel

14:00-15:00

Chair:
Laszlo Lovasz

Title:Computer Science: A New Way to Think
Sanjeev Arora

Lecture Hall
(2nd Floor), FIT Building

15:00-16:00

Title: The Algorithmic Lens: How the Computational Perspective is Changing the Sciences
Christos Papadimitriou

16:00-16:30

Coffee Break

16:30-17:30

Chair:
Silvio Micali

Title:Randomness - A Computational Perspective
Avi Wigderson

18:00-20:00

Reception

Wenjin Hotel


 

 

Tuesday October 13, 2009

TIME

ACTIVITIES

VENUE

08:30-09:30

Chair:
Richard Karp

Title:Model Checking: My 28-year Quest to Overcome the State Explosion Problem
Edmund Clarke

Lecture Hall
(2nd Floor), FIT Building

09:30-10:30

Title: Future Research Directions in Computer Science
John Hopcroft

10:30-11:00

 Coffee Break

Lecture Hall
(2nd Floor), FIT Building

11:00-12:00

Chair:
Michael Rabin

Title:Technology in Service of Society
Raj Reddy

12:00-14:00

Lunch

Wenjin Hotel

14:00-15:00

Chair:
Andrew Yao

Title:The Personal Digital Augmenter and Buffer Overflow in Humans
Charlie Catlett

Lecture Hall
(2nd Floor), FIT Building

15:00-16:00

Title: Probabilistic Models for Holistic Scene Understanding
Daphne Koller

16:00-16:30

Coffee Break

16:30-17:30

Chair:
Raj Reddy

Title:Computational Thinking and Thinking About Computing
Jeannette Wing

18:00-19:30

Dinner

National Opera House

19:30-21:30

National Opera House

 

 

Wednesday October 14, 2009

TIME

ACTIVITIES

VENUE

08:30-09:30

Chair:
John
Hopcroft

Title:Large Networks: A New Language for Science
Laszlo Lovasz

Lecture Hall
(2nd Floor), FIT Building

09:30-10:30

Title: New Mechanisms for A New World
Silvio Micali

10:30-11:00

 Coffee Break

Lecture Hall
(2nd Floor), FIT Building

11:00-12:00

Chair:
Christos
Papadimitriou

Title:Your Students Are Your Legacy
David Patterson

12:00-14:00

Lunch

Wenjin Hotel

14:00-16:00

Open Forum:
China Computer Science Vision 2020

Lecture Hall
(2nd Floor), FIT Building

16:00-17:00

Closing Ceremony

18:00-20:00

Banquet

Wenjin Hotel

 

Thursday October 15, 2009

TIME

ACTIVITIES

08:00

Get together at the lobby of Wenjin Hotel

08:30

Leave for Prince Gong's Palace

09:30

Tour at Prince Gong's Palace and Hutong

12:00

Lunch at Fangshan Restaurant

14:00

Visit at Beijing Planning Exhibition Hall

15:45

Free Time at Qianmen

17:30

Dinner at Quanjude Restaurant

19:00

Show at Laoshe Teahouse