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
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)