ホーム

活動報告

詳細

活動報告

拠点リーダーメッセージ ダウンロード 産業技術数理コンソーシアム

活動報告

研究集会

International workshop on verified computations and related topics

2009.03.16

■日時:2009.3.7-10

■会場:University of Karlsruhe (TH), Germany

■Program 以下ご参照ください。
  プログラム

■ Organizers:
Michael Plum (Faculty of Mathematics, University of Karlsruhe)
Mitsuhiro T. Nakao (Faculty of Mathematics, Kyushu University)
Kaori Nagatou (Faculty of Mathematics, Kyushu University)
Frank Herrlich (Faculty of Mathematics, University of Karlsruhe)
Masato Wakayama (Faculty of Mathematics, Kyushu University)


■詳しくはこちら
研究集会

RETURN LIST