第5回CSP研究会の日程

テーマ「安全な並列処理のシステムの構築に向けて」

【開催日】平成22年7月10日(土)
【時間】10時〜17時
【場所】東洋大学白山キャンパス内
　　　　 6号館２階の６２１３教室

○　はじめに(10:00-10:05)

・　ご挨拶
　　大場善次郎　（東洋大学）

○　講演内容（発表時間に5分程度の質疑応答を含みます。）

・　「モデル検査SPINの実システムに対する適用とフォーマルメソッド導入ガイダンスの構想」 (10:05-10:35)
　　 石黒 正揮　（（株）三菱総合研究所）
　
・　「C言語向けモデル検査ツール」 (10:35-11:05)
　　藤倉俊幸　（ エクスモーション）

・　「関数型言語によるTimed CSP検証技法の提案」 　(11:05-11:35)
　　山川武志、福永力　（首都大学東京）

・　「プロセス代数の基本と関連ツールの紹介（仮）」
　　磯部祥尚　（産業技術総合研究所）　　(11:35-12:05)


　　昼食 (12:05-13:05)

・　「セキュアで頑健なコミュニティ指向マルチエージェントフレームワーク」
　　峯恒憲　（九州大学）　　(13:05-13:35)


・　「CSP記述からの非同期回路設計」 (13:35-14:05)
　　大橋常毅 、福永力　（首都大学東京）


・　「Using high level synthesis for CSP MoC」 (14:05-14:35)
　　Lucien Murray-Pitts

　　休憩 (14:35-14:45)

・　「ＸＭＯＳによる秋月液晶の動作検証」 (14:45-15:15)
　　林桐太、大森健児　（法政大学）

・　　「XMOSにおける送信待ち状態の回避」 (15:15-15:45)
　　長谷川 侑輝、森 秀樹、大蒔 和仁、土田 賢省（東洋大学）
　　磯部 祥尚（産業技術総合研究所）

・　「XMOS開発環境整備」 (15:45-16:15)
　　鰐淵忠男　（（株）ｴｲｺｰ）

・　「モジュール化したXMOS学習ボードの開発」 (16:15-16:45)
　　中原博史　（北海道職業能力開発大学校）
　　中野隆司　（（株）北斗電子）

・　「XMOS製品のUpdates !!」 (16:45-16:55)
　　XMOS代理店

・　「今後の進め方についてのご提案」 (16:55-17:05)
　　松井和人

・　終わりに
　　内山東平　（東洋大学）

○　懇親会（一般会費3000円、学生1500円） (17:05-??)