Oct.14

Oct.15

Oct.16

Oct.17

Tour

Session 5

Session 9

Coffee Break

Coffee Break

Session 6

Session 10

Lunch

Lunch

Session 7

Session 11

Coffee Break

Coffee Break

Session 8

Open Forum

Closing Ceremony

18:00

Reception

Dinner

Banquet

October12^th(Sunday)

TIME

ACTIVITIES

VENUE

14:00-18:00

Registration

Lobby of FIT Building

October13^th(Monday)

TIME

ACTIVITIES

VENUE

08:50-09:00

Opening Ceremony

Lecture Hall, FIT Building, Tsinghua University

09:00-09:45

Session 1
(Session Chair: Frances Yao)

Title: Steiner Trees
Ronald Graham

09:45-10:00

Group Photo

Main Gate of FIT Building

10:00-10:30

Coffee Break

10:30-11:15

Session 2
(Session Chair: Sanjeev Arora)

Title: The Algorithmic Lense: How the Computational Perspective Is Transforming Science
Christos Papadimitriou

Lecture Hall, FIT Building, Tsinghua University

11:15-12:00

Title: The Art of Reduction
Avi Wigderson

12:00-14:00

Lunch

Wenjin Hotel

14:00-14:45

Session 3
(Session Chair: Avi Wigderson)

Title: Semidefinite Programming and Approximation Algorithms: A Survey of Recent Results
Sanjeev Arora

Lecture Hall, FIT Building, Tsinghua University

14:45-15:30

Title: A Computational Theory of Clustering
Avrim Blum

15:30-16:00

Coffee Break

16:00-16:45

Session 4
(Session Chair: Christos Papadimitriou)

Title: Renaming is Weaker than Set Agreement
Maurice Herlihy

16:45-17:30

Title: Hashing and the New Multicore AlgorithmITCS
Nir Shavit

18:00

Reception

Wenjin Hotel

October14^th(Tuesday)

TIME

ACTIVITIES

VENUE

09:15-10:00

Session 5
(Session Chair: Madhu Sudan)

Title: One Time Programs
Shafi Goldwasser

Lecture Hall, FIT Building, Tsinghua University

10:00-10:30

Coffee Break

10:30-11:15

Session 6
(Session Chair: Luca Trevisan)

Title: Towards Universal Semantic Communication
Madhu Sudan

11:15-12:00

Title: Resilient Mechanism Design
Silvio Micali

12:00-14:00

Lunch

Wenjin Hotel

14:00-14:45

Session 7
(Session Chair: Uri Zwick)

Title: Natural Algorithms
Bernard Chazelle

Lecture Hall, FIT Building, Tsinghua University

14:45-15:30

Title: Four graph partitioning algorithms
Fan Chung Graham

15:30-16:00

Coffee Break

16:00-16:45

Session 8
(Session Chair: Oded Goldreich)

Title: Long Code Tests and the Dichotomy Conjecture for CSPs
Mario Szegedy

16:45-17:30

Title: Additive CombinatorITCS and Computational Complexity
Luca Trevisan

18:00

Dinner

Baijia Dayuan

October15^th(Wednesday)

TIME

ACTIVITIES

VENUE

09:15-10:00

Session 9
(Session Chair: Bernard Chazelle)

Title: Flows and Disjoint Paths in Networks
Sanjeev Khanna

Lecture Hall, FIT Building, Tsinghua University

10:00-10:30

Coffee Break

10:30-11:15

Session 10
(Session Chair: Mario Szegedy)

Title: The Cut-Matching Game and Fast Algorithms for Graph Partitioning
Umesh Vazirani

11:15-12:00

Title: Discounted Deterministic Markov Decision Processes
Uri Zwick

12:00-14:00

Lunch

Wenjin Hotel

14:00-14:45

Session 11
(Session Chair: Sanjeev Khanna)

Title: On the Benefits of Adaptivity in Property Testing of Dense Graphs
Dana Ron

Lecture Hall, FIT Building, Tsinghua University

14:45-15:30

Title: On Proximity Oblivious Testing
Oded Goldreich

15:30-16:00

Coffee Break

16:00-17:30

Open Forum:  Nurturing Science Talents in China

17:30-18:00

Closing Ceremony

18:30

Banquet

Wenjin Hotel

October16^th(Thursday)

TIME

ACTIVITIES

8:00

Get together at the lobby of Wenjin Hotel

8:30

Departure to the Tiananmen Square

9:30

Start the tour of Tiananmen Square and Forbidden City

11:30

Lunch at Fangshan Restaurant

12:30

Start the tour of Beihai

14:30

Free time on Wangfujing Street

17:30

Get together and go for dinner

19:30

Departure to the National Centre for the Performing Arts to watch the Taming of the Shrew

October17^th(Friday)

TIME

ACTIVITIES

8:00

Get together at the lobby of Wenjin Hotel

8:30

Departure from the hotel

9:00

Start the tour of Hutong and courtyard

10:00

Start the tour of Prince Gong's Palace

12:00

Lunch at Quanjude Restaurant

13:00

Start the tour of Temple of Heaven

14:30

Visit Olympic Stadiums(to be confirmed)

17:30

Get together and go for dinner

19:50

Lao She's Teahouse