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)




Oct. 4 Mon.  Oct. 5 Tue.  Oct. 7 Thu.  Oct. 8 Fri.

List of Authors

---