Oct. 4 Mon. Oct. 5 Tue. Oct. 7 Thu. Oct. 8 Fri. List of Authors
Room: Plaisir A Room: Ho-oh B Invited Plenary Talks 9:00-9:45 Shin'ichi Oishi
Fast and Accurate Numerical Verification Methods in Numerical Linear Algebra
9:45-10:30 Knut Petras
Validated Numerical Integration -Progress and Challenges
11:00- Excursion to Volcano "ASO"
(Lunch is included)