Schedule for October 6, Wednesday

Room: Plaisir ARoom: Ho-oh B

Invited Plenary Talks
9:00-9:45Shin'ichi Oishi
Fast and Accurate Numerical Verification Methods in Numerical Linear Algebra

9:45-10:30Knut Petras
Validated Numerical Integration -Progress and Challenges

11:00-Excursion to Volcano "ASO"
(Lunch is included)
Oct. 4 Mon. Oct. 5 Tue. Oct. 7 Thu. Oct. 8 Fri. List of Authors