7月26日:実務家のための形式手法セミナー (熊本)

───────────────────────────────

      実務家のための形式手法セミナー (熊本)

    主催: ソフトウェア技術者協会 (SEA) 九州支部
          情報処理学会 九州支部
        くまもと技術革新・融合研究会

             参加者募集

───────────────────────────────

ソフトウェア技術者協会 (SEA) 九州支部,情報処理学会 九州支部,
くまもと技術革新・融合研究会では,九州大学の荒木 啓二郎氏とフ
ェリカネットワークスの栗田 太郎氏をお迎えして,「実務家のため
の形式手法セミナー」を開催いたします.情報処理推進機構 (IPA)
で公開されている「実務家のための形式手法シリーズ,教材及び副読
本」を基にして,これらを作成なさった中心人物であるお二人から直
接形式手法導入のエッセンスについてご講演いただきます.

「形式手法って何?」,「形式手法って役に立つの?」という問いに対
して,アカデミアと企業の立場から解説していただきます.形式手法
に関心のある方々のご参加をお待ちしております.

「実務家のための形式手法シリーズ,教材及び副読本」
 http://www.ipa.go.jp/sec/reports/20130328.html

◆1. 期日: 2013 年 7 月 26 日 (金曜日)

◆2. プログラム
  13:30 〜 16:30
   講演会
    題目:実務家のための形式手法
    講師:荒木 啓二郎 (九州大学)
       栗田 太郎 (フェリカネットワークス)
    講演に続いて,スマートフォン開発などへの応用,小規模開
    発への応用を中心に質疑応答,ディスカッションを行いたい
    と思います.

  17:30 〜
   懇親会 (会場は別になります.会費は 5,000 円を予定してお
   ります)

   申込み人数がある程度まとまりましたら,下記を予約する予定
   です.

   熊本に伝わる伝統の「古料理」と郷土料理を提供する和食料理
   店『櫻道』
   http://www.kyusanko.co.jp/landmark/sakuramichi/gaiyo.html
   http://www.kyusanko.co.jp/landmark/sakuramichi/pdf/dinner01.pdf

◆3. 会場
  桜の馬場 城彩苑 多目的交流施設
   http://www.sakuranobaba-johsaien.jp/howtouse/
  会場地図
   http://www.sakuranobaba-johsaien.jp/access/

◆4. 参加費
  無料

◆5. お申し込み方法
  下記のお申込票に必要事項をご記入の上,下記のアドレス宛てに
  電子メールでお申し込みください.

  折り返し受け付け確認のメールをお送りいたします.

  お申し込み先: entry-kyushu [at-mark] sea.jp

◆6. その他
  当日の飛び込みの参加も歓迎ですが,会場の関係上,直前でも結
  構ですので,上記のお申込みをメールでいただけると幸いです.

  その他,お問い合せは entry-kyushu [at-mark] sea.jp までお願いいたし
  ます.

───────────────────────────────
◆実務家のための形式手法セミナー (7/26・熊本) 参加お申込票◆

 氏名: ふりがな:
 所属:
 メールアドレス:
 ・セミナー 参加・不参加
 ・懇親会  参加・不参加
───────────────────────────────