Numerical Verification (NIVEA) 2019
- Date: February 26 - March 3, 2019
- Venue:
The Westin Rusutsu resort meeting room (Wrm),
133 Izumikawa Rusutsu-mura, Abuta-gun, Hokkaido, 048-1711, Japan;
https://rusutsu.co.jp/
- Organization committee:
- Kenta Kobayashi (Hitotsubashi University), chair
- Nobito Yamamoto (The University of Electro-Communications)
- Yoshitaka Watanabe (Kyushu University)
- Co-Sponsors
- Grant-in-Aid for Scientific Research (B),
Japan Society for the Promotion of Science (JSPS),
No. 16H03950
- Participants / Speakers
- Siegfried M. Rump (Hamburg University of Technology / Waseda University)
- Mitsuhiro T. Nakao (Waseda University)
- Masahide Kashiwagi (Waseda University)
- Akitoshi Takayasu (Tsukuba University)
- Kouta Sekine (Toyo University)
- Xuefeng Liu (Niigata University)
- Takuya Tuchiya (Ehime University)
- Kiyoshi Andou (The University of Electro-Communications)
- Masakazu Muramatsu (The University of Electro-Communications)
- Nobito Yamamoto (The University of Electro-Communications)
- Yoshitaka Watanabe (Kyushu University)
- Kenta Kobayashi (Hitotsubashi University)
- Remark
- Breakfast, lunch, and dinner will not be provided as part of the workshop
Schedule: (ver. 2019/03/02)
- Tuesday, February 26
- 15:00 -:
Check-in begins at 15:00 on Tuesday and is open 24 hours
(Front desk at The Westin Rusutsu resort)
- 17:30 - 19:30:
Dinner
- 20:00 - 22:00:
Informal gathering (Atrium)
- Wednesday, February 27
- 07:00 - 08:45:
Breakfast
- 08:45 - 09:00:
Introduction and welcome by organizer (Wrm)
- 09:00 - 12:00:
Session 1 (Wrm)
- talk 1: Nobito Yamamoto, Gen Terasaka (The University of Electro-Communications)
"Construction of local Lyapunov functions for non-hyperbolic equilibria
by verified numerics"
- talk 2: Siegfried M. Rump (Hamburg University of Technology / Waseda University)
"On the Taylor models approach for solving ODEs"
- 12:00 - 13:00:
Lunch
- 13:00 - 14:00:
Guided tour of Rusutsu resort
- 14:00 - 17:00:
Session 2 (Wrm)
- talk 3: Masakazu Muramatsu (The University of Electro-Communications)
"Projection and rescaling algorithm for semi-infinite programming"
- talk 4: Akitoshi Takayasu (Tsukuba University)
"Rigorous spectral methods for initial value problems of ordinary
differential equations"
- 17:30 - 19:30:
Dinner
- 20:00 - 22:00:
Informal discussion (Room 0505)
- Thursday, February 28
- 07:00 - 09:00:
Breakfast
- 09:00 - 12:00:
Session 3 (Wrm)
- talk 5: Masahide Kashiwagi (Waseda University)
"Emulation of up/down arithmetic using rounding to nearest"
- talk 6: Mitsuhiro T. Nakao (Waseda University)
"Some remarks on the inverse of linear elliptic operators and their
approximations by finite element method"
- 12:00 - 13:30:
Lunch
- 13:30 - 16:30:
Session 4 (Wrm)
- talk 7: Yoshitaka Watanabe (Kyushu University), Kouta Sekine (Toyo University),
Mitsuhiro T. Nakao (Waseda University)
"An idea for IN-Int: A numerical verification method based on
infinite-dimensional Newton-type approach"
- talk 8: Kenta Kobayashi (Hitotsubashi University)
"A remark of L2-error estimations for FEM solutions on non-convex domains"
- 16:30 - 17:45:
Discussion (Wrm) (identifying future lines of research and
important problems to work on)
- 18:00 - 20:00:
Dinner
- 20:30 - 22:00:
Informal discussion (Room 0505)
- Friday, March 1
- 07:00 - 09:00:
Breakfast
- 09:00 - 10:30:
Session 5 (Wrm)
- talk 9: Yoshitaka Watanabe (Kyushu University)
"Open problems related to numerical verifications for
partial differential equations"
- 10:30 - 10:45:
Discussion (Wrm) (identifying future lines of research and
important problems to work on)
- 10:45 - 12:00:
Break up into groups (Wrm)
- 12:00 - 13:30:
Lunch
- 13:30 - 17:30:
Free discussions
- 17:30 - 19:30:
Dinner
- 20:00 - 22:00:
Informal discussion (Room 0505)
- Saturday, March 2
- 07:00 - 09:00:
Breakfast
- 09:00 - 12:00:
Session 6 (Wrm)
- talk 10: Xuefeng Liu (Niigata University)
"Guaranteed invariant subspace estimation for differential operators"
- talk 11: Takuya Tuchiya (Ehime University)
"Error estimation of Lagrange interpolation without the shape regularity assumption"
- 12:00 - 13:30:
Lunch
- 13:30 - 14:30:
Discussion (Wrm) (identifying future lines of research and
important problems to work on)
- 14:30 - 17:30:
Break up into groups (Wrm)
- 17:30 - 19:30:
Dinner
- 20:00 - 22:00:
Informal discussion (Room 0505)
- Sunday, March 3
- 07:00 - 09:00:
Breakfast
- 09:00 - 11:30:
Informal discussion (Atrium)
- Checkout by 12:00
Participants are required to check-out of the guest rooms by 12:00
(Front desk at The Westin Rusutsu resort)