───────────────────────────────
実務家のための形式手法セミナー (熊本)
主催: ソフトウェア技術者協会 (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・熊本) 参加お申込票◆
氏名: ふりがな:
所属:
メールアドレス:
・セミナー 参加・不参加
・懇親会 参加・不参加
───────────────────────────────