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