ソフトウェアエンジニアリングシンポジウム2018に参加しませんか?

こんにちは。株式会社フォーマルテックの早水です。

ソフトウェアエンジニアリングシンポジウム(SES)2018に参加しませんか?

今年度もSESで形式手法ワークショップを開催します。岡山県立大学の横川先生と共同で討論リーダを務めます。

討論テーマ(1) : 形式手法-導入支援と技術教育-

参加区分は以下の3つです。

ポジションペーパー(論文)/プレゼンテーションのみ/議論への参加のみ

二日目(2018/9/6)の夜には懇親会が開催されますので、冷えたビールを飲みながら楽しくお話をしましょう。申し込みお待ちしております。

SES2018の討論テーマ

こんにちは。株式会社フォーマルテックの早水です。

SES(ソフトウェアエンジニアリングシンポジウム)2018に提案していた討論テーマ「形式手法-導入支援と技術教育-」が採択されました。岡山県立大学の横川先生と共同で提案させて頂きました。

というわけで、今年も「形式手法ワークショップ」を開催いたします。サブタイトルは-導入支援と技術教育-としておりますが、形式手法に関することであれば何でも大歓迎なので、みなさま、是非、ポジションペーパーをご投稿ください。また、昨年度と同様に発表のみ、議論への参加のみ、聴講のみのご参加も可能とする予定です。

SES2018は9/5~9/7に開催されます。まだまだ暑い時期なので、懇親会でキンキンに冷えたビールで乾杯しましょう!