───────────────────────────────
実務家のための形式手法セミナー
主催: ソフトウェア技術者協会 (SEA) 九州支部
参加者募集
ソフトウェア技術者協会 (SEA) 九州支部では，九州大学の荒木啓二
郎氏とフェリカネットワークスの栗田 太郎氏をお迎えして，「実務
家のための形式手法セミナーを開催いたします．情報処理推進機構
(IPA) で公開されている「実務家のための形式手法シリーズ，教材
及び副読本」を基にして，これらを作成なさった中心人物であるお
二人から直接形式手法導入のエッセンスについてご講演いただきま
す．
「形式手法って何?」，「形式手法って役に立つの?」という問いに
対して，アカデミアと企業の立場から解説していただきます．形式
手法に関心のある方々のご参加をお待ちしております．
「実務家のための形式手法シリーズ，教材及び副読本」
http://www.ipa.go.jp/sec/reports/20130328.html
───────────────────────────────
◆1. 期日: 2013 年 7 月 6 日 (土曜日)
◆2. プログラム
14:00 〜 17:00
講演会
題目：実務家のための形式手法
講師：荒木 啓二郎 (九州大学)
栗田 太郎 (フェリカネットワークス)
18:00 〜
懇親会 (会場は別になります．会費は 6,000 円を予定してお
ります)
◆3. 会場
九州大学システム LSI 研究センター
百道サテライトキャンパス 会議室 B (205 室)
福岡市早良区百道浜 3-8-33
福岡システムLSI総合開発センター 2 階
http://www.ist.or.jp/lsi/
◆4. 参加費
おひとり様 1,000 円
◆5. お申し込み方法
下記のお申込票に必要事項をご記入の上，下記のアドレス宛て
に電子メールでお申し込みください．
折り返し受け付け確認のメールをお送りいたします．
お申し込み先: entry-kyushu [at-mark] sea.jp
◆6. その他
当日の飛び込みの参加も歓迎ですが，会場の関係上，直前でも
結構ですので，上記のお申込みをメールでいただけると幸いで
す．
その他，お問い合せは entry-kyushu [at-mark] sea.jp までお願いいたし
ます．
───────────────────────────────
◆実務家のための形式手法セミナー 参加お申込票◆
氏名: ふりがな:
所属:
メールアドレス:
・セミナー 参加・不参加
・懇親会 参加・不参加
───────────────────────────────