>>IN ENGLISH

トップページ

  • 参加募集
  • 参加登録
  • プログラム
  • 基調講演
  • 招待講演
    • Bashar Nuseibeh 教授
    • Hong Mei 教授
    • Jin Song Dong 准教授
    • Joshua Kerievsky氏
    • Sebastian Uchitel 教授
    • 丹羽 雅春 氏
  • ワークショップ
    • BT2010
    • Bメソッド
    • SSE
    • センサー&サービス
    • 形式手法
  • パネル討論
  • ポスター/デモ
  • 会場・アクセス
  • 関連リンク
  • 問い合わせ
  • 運営組織
  • GRACEセンター成果報告書
  • メディアでのご紹介
  • 併設イベント
    • Asian PLoP

国立情報学研究所 GRACEセンター

共催

北陸先端科学技術大学院大学

NPO法人 トップエスイー教育センター

特別参加企業

日本電気株式会社

協賛

株式会社 日立製作所

株式会社富士通研究所

フェリカネットワークス株式会社

株式会社 東芝

ACM 日本支部

IEEE 東京支部

関連組織

国立情報学研究所

トップエスイー プロジェクト

問い合わせ

ホーム

ワークショップ

形式手法Bメソッド研修セミナー

workshop on new-generation networked computing paradigms: from sensors to web services

セキュリティソフトウェア工学ワークショップ

双方向変換ワークショップ

形式手法の産業応用ワークショップ

copyright(c) 2009-2010 GRACE Center, National Institute of Informatics, Japan.
Powered by Drupal / オープンソースコンテンツマネージメントシステム