特別招待講演

• 「複雑系数理モデリングとその応用」 合原 一幸 (東大)

招待講演

本ワークショップでは下記の招待講演を予定しています．

• 「PSOのダイナミクス解析」 神野 健哉, 進藤 卓也 (日本工大)
• 「マルチ時間スケール系のダイナミクス：分岐・カオス・特異摂動」 土居 伸二 (京大)
• 「CMOSアナログ集積回路設計を目指す学生・若手技術者が習得しておくべき コア技術」 谷口 研二 (阪大)
• 「オンデマンドバイオメトリックス認証」 中西 功 (鳥取大)
• 「携帯端末による読み取りを考慮した印刷画像へのデータ埋め込み技術」 棟安 実治 (関西大)
• 「LSI開発における高位合成の実用化の課題と適用事例」 山下 公彰, 水田 剛, 森木 創作 (富士通九州ネットワークテクノロジーズ)
• 「高位合成における種々の最適化手法について」 松永 裕介 (九大)
• 「波動問題に対する GPU を用いた大規模格子系シミュレーション」 青木 尊之 (東工大)
• 「高速電子設計のための多並列SI/PI/EMIシミュレーション技術」 浅井 秀樹 (静岡大)
• 「車載システムを対象とした形式手法の応用研究と課題」 佐野 範佳 (豊田中研)
• 「宇宙機ソフトウェアに対するIV&Vにおけるモデル検査の適用事例」 松本 勉 (JAXA), 氏原 頌悟 (三栄ハイテックス)
• 「大規模並列計算のためのアルゴリズミックス」 渡辺 治 (東工大)
• 「CUDA Implementation of Iterative Updating: the Radix-2 Algorithm and Discrete Fourier Transforms」 Mikael Onsjö, Kenta Kasai, Osamu Watanabe (Tokyo Inst. of Tech.)
• 「双曲型方程式のマルチGPUによる大規模高精度計算」 杉原 健太, 青木尊之 (東工大)
• 「On the Scalability of Parallel Best First Search」 Akihiro Kishimoto, Alex Fukunaga (Tokyo Inst. of Tech.), Adi Botea (NICTA / Australian National Univ.)