シンポジウム参加者募集ソフトウェアの骨格を形成する「アーキテクチャ」はソフトウェア開発における最も重要な成果物であり、その正当性と妥当性を議論するためのフォーマルメソッドの適用技術の開発が期待されています。基調講演にお迎えし、アーキテクチャ技術、プロダクトライン技術について議論したいと思います。多数のご参加をお待ちしております。脆弱性(CVE-2014-6332)を悪用するコンテンツが置かれていたことが外部の情報セキュリティ調整機関からの通知でわかりました。問題のコンテンツは2015/2/27日時点で既にサーバ上からは除去しています。影響範囲はSEAウェブサイトsea.jpを利用した方、もしくは外部から下記URLを直接参照された方と考えられます。脆弱性(CVE-2014-6332)を未修正のまま、上記URLにアクセスした方はマルウェアによる感染の可能性があるのでご注意ください。09:29:36現在)での検出結果は次のようになるとのことです。Exploit:VBS/CVE-2014-6332この問題に伴い、該当のサーバのセキュリティ管理状態をチェックし、マルウェアを調査及び除去しました。メンテナンスに伴い、これまでSEAで提供していたSNSなど一部のサービスが終了しましたが、終了したサービスに関しては今後も提供しないこととしました。この告知は情報セキュリティ調整機関との調整が終了したタイミングで行いました。文末になりますが利用者のみなさまにご迷惑をおかけしたことを深くお詫びします。