───────────────────────────────────
SEA Forum in March 2020 in Seoul
形式手法と SPARK/Ada に関するワークショップ
主催: ソフトウェア技術者協会 (SEA)
参加者募集
───────────────────────────────────
昨年 8 月の SEA Forum に引き続き，AdaCore 社 [1] の Johannes Kanig 博士お迎えして，形式手法，および，プログラミング言語 SPARK/Ada [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. 日時
2020 年 3 月 26 日 (木曜日) 終日
2020 年 3 月 27 日 (金曜日) 終日
2. 講師
AdaCore 社・Johannes Kanig 博士
3. 会場
韓国・ソウル・明洞周辺
詳細は，お申し込みの方に別途ご連絡いたします．
4. 定員: 15 名
お申し込み順です．定員になり次第受け付けを締め切ります．
5. 参加費
正会員 : 30,000 円
賛助会員: 35,000 円
一般参加: 40,000 円
6. お申し込み方法
下記のお申込票に必要事項をご記入の上，下記のアドレス宛てに電子メールでお申し込みください．折り返し受け付け確認のメールをお送りいたします．
お申し込みメールアドレス: forum @ sea.jp
7. その他
参加費は当日現金でお支払いください．ご希望の方には，領収書を発行いたします．
──────────────────────────────
◆SEA Forum in March 2020 in Seoul 参加お申込票◆
氏名: ふりがな:
メールアドレス:
種別 (いずれかにチェック，記入)
□SEA 会員 (No: )
□SEA 賛助会員 (会社名: )
□その他一般
領収書の要否: 必要・不必要
領収書の宛名:
──────────────────────────────