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

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

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

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

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

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

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

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