A25   Arrival		August 25 20:00-21:00   新潟空港
Chairman: Nakao
20:00-21:00 新潟空港から新潟駅まで移動

A26   Orientation		August 26 10:00-12:00   A523
Chairman: Xuefeng LIU
10:00-10:30 Orientation
10:30-11:00 Explanation for CES system
11:00-12:00 Short Japanese class

A26   Presentation		August 26 13:00-17:00   A523
13:30-15:30 Presentation by students
15:30-17:00 Xuefeng LIU : Verified computing and finite element method

A27   Lecture		August 27 9:00-12:00   A523
Chairman: Sekine Kouta
9:30-11:30 Sekine Kouta: Introduction to verified computing（１）

A27   Lecture		August 27 13:00-17:00   A523
Chairman: Sekine Kouta
13:30-17:00 Sekine Kouta: Introduction to verified computing（2）

A28   Presentation		August 28 9:00-12:00   A523
Chairman: Yamamoto Nobito
9:00-10:00 Presentation by students
10:00-12:00 Yamamoto Nobito: Fixed-point theorems in verification methods and their applications

A28   Visiting		August 28 13:00-17:00   A523
Chairman: Xuefeng LIU
13:00-17:00 Visiting to Yahikomura

A29   Presentation		August 29 9:00-12:00   A523
Chairman: Watanabe Yoshitaka,Nakao Mitsuhiro
9:30-10:30 Watanabe Yoshitaka: Numerical verification methods for nonlinear equations
10:30-11:30 Nakao Mitsuhiro: From approximation theory to computer assisted proofs in analysisーNumerical verification for PDEsー

A29   Lecture		August 29 13:00-17:00   A523
Chairman: Xuefeng LIU
13:00-17:00 Xuefeng LIU: Rigorous Eigenvalue Estimation

A30   Lecture		August 30 9:00-12:00   A523
Chairman: Xuefeng LIU
9:00-10:00 Rigorous Eigenvalue Estimation (2)

A30   Moving to Kurobe

August 30 13:00-17:00   Move by train

A31		August 31 9:00-12:00   Kurobe
10:00-11:30 Presentation by students (report of study)

A31		August 31 13:00-17:00   Kurobe
Chairman: Xuefeng LIU
13:00-16:00 YKK Center Park

S01		September 1 9:00-12:00   Tokyo
9:00-12:00 Back to home country