第10回 SATSS 参加登録 受付開始のお知らせ

[Taro Sekiyama]

皆さま（重複して受け取られた場合はご容赦ください）

国立情報学研究所の関山です。

ソフトウェア・ハードウェア・形式検証に関する分野融合的なワークショップ SATSS（https://sc-sys.github.io/）では、以下の要領で、ソフトウェアシステムの安全性・セキュリティと形式検証に関する 1 Day Workshop を開催いたします。

* 日時：9月1日（月）9:00-18:00 （8:30 入場開始）
* 場所：東京 TKP ガーデンシティ PREMIUM 品川高輪口 カンファレンスルーム4G
  （アクセス：https://www.kashikaigishitsu.net/facilitys/gcp-shinagawa-takanawaguchi/access/）
* プログラム：ウェブサイト https://sc-sys.github.io/ よりご確認ください。
  チュートリアル、プロジェクト紹介、最新の研究発表など、12 本の講演を予定しています。

参加の際には、下記の google form より事前に参加登録をお願いいたします。
会場の席には限りがあるため、収容可能人数を超過した場合には参加登録いただいた方に優先的に席をお譲りいただく可能性がございます。

また参加登録いただいた方には後日リモート参加の方法もお知らせいたします。
併せて、懇親会の参加も同 form より受け付けています。こちらも是非ご検討ください。

   https://forms.gle/geFhx2YXjbsdpoP48

ワークショップの情報共有のために slack をご用意しています。ご興味のある方は以下のリンクよりご参加ください。
今後のアナウンスや資料の共有なども slack で行う予定です。

   https://join.slack.com/t/satss/shared_invite/zt-39t7ge2af-gusWS~jXcL3FlHOkSNNG7A

また本ワークショップは、学生や若手の技術者・研究者の参加も歓迎しており、研究室の学生さんや身近な方にもご周知いただけますと幸いです。

どうぞよろしくお願いいたします。

--
国立情報学研究所 / 情報・システム研究機構CRADSEC

関山 太朗

On Fri, Jul 25, 2025 at 6:17 PM Taro Sekiyama <ryuk...@gmail.com> wrote:

皆さま（重複して受け取られた場合はご容赦ください）

国立情報学研究所の関山です。

** ソフトウェアシステムの安全性（特にセキュリティ）と形式検証に関する 1 Day Workshop のご案内 **

ソフトウェア・ハードウェア・形式検証に関する分野融合的なワークショップ SATSS（https://sc-sys.github.io/）では、以下の要領で、ソフトウェアシステムの安全性（特にセキュリティ）と形式検証に関する 1 Day Workshop を開催する予定です。

日時：9月1日（月）  （ソフトウェア科学会大会［9月3日〜5日］および PPL サマースクール［9月2日］の前日です）
場所：東京・品川周辺（詳細は決まり次第ご案内します）

ワークショップの情報共有のために slack をご用意しています。ご興味のある方は、以下のリンクからご参加ください。今後のアナウンスもこちらで行う予定です。

   https://join.slack.com/t/satss/shared_invite/zt-39t7ge2af-gusWS~jXcL3FlHOkSNNG7A

また本ワークショップは、学生や若手の技術者・研究者の参加も歓迎しており、研究室の学生さんなどにもご案内いただけますと幸いです。


** 講演募集のご案内 **

また上記 1 Day Workshop では、ソフトウェアシステムの安全性（特にセキュリティ）や、関連する形式手法・検証技術に関する講演を募集しています（インフォーマルな場ですので、既発表内容でも構いません）。

ご講演いただける場合は ** 8月1日（金）** までに、以下の情報を seki...@nii.ac.jp 宛にお知らせください：

- 講演者情報
- 講演タイトル
- 希望する講演時間（以下からお選びください）
   - 通常の研究発表：30分
   - チュートリアル、分野俯瞰、研究プロジェクトの紹介など：60分

講演タイトルは仮のもので結構です。また 8月1日 までにタイトルが決まらない場合であっても、講演の希望だけでもお知らせください。

皆さまのご参加・ご講演を心よりお待ちしております。ご関心をお持ちの方が周囲にいらっしゃいましたら、ぜひご案内いただけますと幸いです。

--
関山 太朗
国立情報学研究所
seki...@nii.ac.jp

--

Taro Sekiyama