INVA2014
http://www.oishi.info.waseda.ac.jp/~inva2014

[Tokyo] 2014年3月15日〜17日
[Kyoto] 2014年3月19日〜20日

精度保証付き数値計算に関連する国際研究集会，
The 7th CREST-SBM International Conference，"The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)"
を開催いたします．
本集会では，JST CRESTの成果発表，関連分野の研究者による招待講演を企画するとともに，一般講演の募集もしております．
海外からの招待講演者は，1時間の講演のほか，3月19日からの研究部会連合発表会・計算の品質OSにて20分の講演を行います． なお，招待講演者によっては東京と京都では異なる内容の講演を行う予定です．
詳細は，下記のwebをご参照下さい． 皆様のご参加をお待ちしております.

Organizers:
大石進一(早稲田大学)
荻田 武史 (東京女子大学)
Siegfied M. Rump (Hamburg University of Technology, Germany)

Invited Speakers(2013年1月9日現在の予定):
中尾充宏(佐世保工業高等専門学校)
山本野人(電気通信大学)
渡部善隆(九州大学)
小林健太(一橋大学)
Florian Bunger (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)
Jean-Michel Muller (ENS de Lyon, France)
Kaori Nagato-Plum (Karlsruhe Institute of Technology, Germany)
Michael Plum (Karlsruhe Institute of Technology, Germany)

主催:
JST CREST「数学と諸分野の協働によるブレークスルーの探索」研究領域