The International Workshop on Numerical Verification and its Applications 2020 (INVA 2020) is supported by the JST/CREST program Modeling Methods allied with Modern Mathematics. The main theme of the workshop is about Verified Numerical Computation and its applications to science and technology.
Venue
Villa Unarizaki at Iriomote Island, Japan.
Iriomote Island
Hotel Information
- All rooms are reserved by the organizing committee. If you have any questions about reservation and accommodation, please contact the committee.
Organization Committee
- Shin’ichi Oishi (Waseda University)
- Takeshi Ogita (Tokyo Woman’s Christian University)
- Katsuhisa Ozaki (Shibaura Institute of Technology)
- Naoya Yamanaka (Meisei University)
- Kouta Sekine (Toyo University)
- Atsushi Minamihata (Chuo University)
- Kazuaki Tanaka (Waseda University)
- Ryo Kobayashi (Waseda University)
- Makoto Mizuguchi (Waseda University)