───────────────────────────────────
SEA Forum in August 2019
SPARK/Adaを学ぶ
主催: ソフトウェア技術者協会 (SEA)
参加者募集
───────────────────────────────────
この 8 月に，AdaCore 社 [1] の Johannes Kanig 博士をお迎えして，形式手法，および，プログラミング言語 Ada に形式検証の機能を統合した開発環境 SPARK [2] についてのワークショップを開催いたします．
ご参加にあたり，形式手法やプログラミング言語 Ada に関する知識や経験は必要ありませんが，何らかのプログラミング言語と開発環境を用いることができる技術者の参加を想定しています．また，Johannes さんによるレクチャーは，英語で行われます．
それから，ワークショップでは，PC が必要になりますのでお持ちください．開発環境をインストールすることができる OS は，Windows，Mac OS X，GNU Linux 等になります [3]．事前準備に関する詳細は，お申し込みの方に別途ご連絡いたします．
[1] http://www.adacore.com/
[2] http://www.adacore.com/sparkpro/
[3] http://www.adacore.com/download/more
─────────── 開 催 要 領 ──────────
1. 日時
2019 年 8 月 7 日 (水曜日) 10:00～17:00
2019 年 8 月 8 日 (木曜日) 10:00～16:00
2. 講師
AdaCore 社・Johannes Kanig 博士
3. 会場
新横浜駅周辺
詳細は，お申し込みの方に別途ご連絡いたします．
4. 定員: 20 名
お申し込み順です．定員になり次第，受け付けを締め切ります．
5. 参加費
正会員: 4,000 円
賛助会員: 5,000 円
一般参加: 7,000 円
6. お申し込み方法
下記のお申込票に必要事項をご記入の上，下記のアドレス宛てに電子メールでお申し込みください．折り返し受け付け確認のメールをお送りいたします．
お申し込みメールアドレス: forum @ sea.jp
7. その他
参加費は当日現金でお支払いください．ご希望の方には，領収書を発行いたします．
受付，開催時間中のご連絡は，070-6429-0240 までお願いいたします．
──────────────────────────────
◆SEA Forum in August 2019 参加お申込票◆
氏名: ふりがな:
メールアドレス:
種別 (いずれかにチェック，記入)
□SEA 会員 (No: )
□SEA 賛助会員 (会社名: )
□その他一般
領収書の要否: 必要・不必要
領収書の宛名:
□終了後の交流会への参加：する/しない
※8 月 7 日 (水曜日) の夜に懇親会を開催します．
懇親会の参加費，会場は別になります．
──────────────────────────────