総会は無事終了致しました．みなさま，ご協力ありがとうございました．また，総会資料を更新しました．
第31回総会のご案内です．
ご参加お待ちしております．
総会案内
日時： 2016年5月31日（火） 18:30～19:30
場所： フェリカネットワークス株式会社 受付会議室
東京都品川区大崎 1-11-1
ゲートシティ大崎 ウエストタワー 16 階
http://www.felicanetworks.co.jp/company/map.html
議題:
第一号議案 2015年度事業報告
第二号議案 2015年度決算報告
第三号議案 2016年度事業計画
第四号議案 2016年度予算審議
第五号議案 役員改選
（下記を，事務局 office [at-mark] sea.jpまでメール願います）
——————————————————————————-
ソフトウェア技術者協会第31回総会に
□ 出席する
□ 欠席して議事を （ ） に委任する
（記入のない方は議長に委任とさせていただきます）
会員名
——————————————————————————-
総会資料：（SEA_sokai_No_31_20160531-F）
───────────────────────────────────
なお，総会後，以下のミニフォーラムを開催します．
ミニフォーラム案内
演目： SPARK 2014 の紹介 と 形式手法の産業応用の現在
日時： 5月31日（火）19:30-20:30
場所： 総会会場
講師： Dr. Johannes Kanig (AdaCore社）
Johannes holds an engineering degree from Ecole Centrale Paris, a Masters in Computer Science from the Technical University of Dresden, Germany and a PhD in Program Verification obtained at the University Paris 11. He joined AdaCore in 2011 and works principally on the CodePeer static analysis technology and the Hi-Lite research project, which aims to combine unit tests and formal verification.
概要：
欧州を中心として，セーフティクリティカルシステムに適用が進んでいるSPARK2014および形式手法の産業応用について，お話し頂きます．導入的な内容ですので，みなさんに興味を持って頂けると思います．他のAdaCore社（Paris）のメンバーも参加予定になっておりますので，質疑応答では，より詳しい状況について直接お尋ねすることもできると思います．
───────────────────────────────────