INVA 2014

The International Workshop on Numerical Verification and its Applications 2014


The 7 th CREST-SBM International Conference entitled “The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)” is supported by the JST mathematics program "Search for Breakthrough by Mathematical / Mathematical Science Researches toward the Resolution of Issues with High Social Needs". The scope of the CREST-SBM International Conference Series is to enhance the understanding and collaboration among various types of international researchers.  The main theme of the 7-th conference in the series is about Verified Numerical Computation and its applications to science and technology.

  1. 1. Date and place

    Date: March 15 -17, 2014

    Place: Waseda University, Tokyo, Building 63, 2nd floor, Room 05

    Date: March 18 - 20, 2014

    Place: Kyoto University, Kyoto

The workshop consists of two parts. First, we will hold a workshop at Waseda University (Tokyo). There are around 1 hour talks for each invited speaker and some contributed talks (30 min.). Second, after the workshop in Tokyo, we will move to Kyoto and hold a special session in the 2014 Meeting of the Union of Research Activity Groups, Japan SIAM. Each overseas speaker has two talks during the workshop.

  1. 2. Invited Speakers

    Florian Bünger (Hamburg University of Technology, Germany)

    Xiaojun Chen (The Hong Kong Polytechnic University, China)

    Behnam Hashemi (Shiraz University of Technology, Iran)

    Neil Hoffman (The University of Melbourne, Australia)

    Kazuhiro Ichihara (College of Humanities and Sciences, Nihon University)

    Kenta Kobayashi (Hitotsubashi University, Japan)

    Jean-Michel Muller ( ENS de Lyon, France)

    Kaori Nagato-Plum (Karlsruhe Institute of Technology, Germany)

    Mitsuhiro T. Nakao (Sasebo National College of Technology, Japan)

    Michael Plum (Karlsruhe Institute of Technology, Germany)

    Yoshitaka Watanabe (Kyushu University, Japan)

    Nobito Yamamoto (The University of Electro-Communications, Japan)

  1. 3. Organizers

    Shin’ichi Oishi (Waseda University, Japan)

    Takeshi Ogita  (Tokyo Woman’s Christian University, Japan)

    Siegfried M. Rump (Hamburg University of Technology, Germany)

  1. 4. Abstract

    The workshop gathers abstracts of each talk. Let you find the TeX format and

    prepare your abstract along with the web page.

  1. 5. Contact us

    The secretary of INVA 2014:

  1. 6. Secretaries

    Katsuhisa Ozaki (Shibaura Institute of Technology, Japan)

    Xuefeng Liu (Waseda University, Japan)

    Takuma Kimura (Waseda University, Japan)

    Naoya Yamanaka (Waseda University, Japan)

    Akitoshi Takayasu (Waseda University, Japan)

  1. 7. Co-Sponsor

    School of Fundamental Science and Engineering, Waseda University

    Research Institute for Science and Engineering, Waseda University


INVA 2014 @Tokyo & Kyoto