平成26年度情報処理学会九州支部報告会

日時：　2014年4月25日（金）15:00～16:00
場所：　NTTDATA博多駅前ビルB1F　B102会議室
　　　　福岡市博多区博多駅前1-17-21　株式会社ＮＴＴデータ九州
　　　　http://www.nttdata-kyushu.co.jp/corporate/access/index.php

式次第：
　1. 支部長挨拶
　　　　　吉田　隆一（九州工業大学）
　2. 情報処理学会九州支部平成25年度奨励賞表彰
　3. 平成25年度事業報告
　4. 平成25年度決算報告
　5. 平成26年度支部役員
　6. 平成26年度事業計画案
　7. 平成26年度予算案
8. 閉会

尚，支部報告会に引続き，同じ会場におきまして特別講演を以下の通り
開催致しますので，併せてご参加くださいますようご案内申し上げます．

特別講演会
日時：　2014年4月25日（金）16:00～17:30
場所：　NTTDATA博多駅前ビルB1F　B102会議室
　　講師：荒木 啓二郎 教授（九州大学）
　　題目：安全安心な社会基盤としての IT システム構築のための
　　　　　有用性の高いフォーマルメソッド