SES2018の討論テーマ

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

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

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

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

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

日本語が含まれない投稿は無視されますのでご注意ください。(スパム対策)