FWS2026では，FWS2025に引き続き，本分野に関する議論を促進するために下記の要領でライトニングトークを募集します．
- 内容：未発表・既発表問わず，形式検証とセキュリティに関するもの
- 例：こんな検証ツールを使ってみた，こんな研究テーマを考えている，などなど
- CSS2026で発表する内容を歓迎します！
- 日時：FWSセッション内
- 発表時間：最大2分（予定）
- 発表方法：プレゼンテーション形式（現地での発表のみ）
発表申込およびお問い合わせはこちらからお願いします．枠が埋まり次第募集を終了します．
注意- 発表内容についてはCSSのガイドラインを遵守してください．
- 発表にはCSS2026の参加登録が必要です．
- 発表タイトルおよび発表者のお名前を本ページで公開予定です．
- 他の発表と同様にオンラインで配信予定です．
- 発表スライドのWebページでの公開はありませんが，知財の取り扱いについてはご注意ください．
皆さまの発表申込をお待ちしております！
FWSについて
Formal method and security WorkShop（FWS）は形式検証とセキュリティ分野に関するワークショップです．
形式検証とは，システムやプロトコルなどの対象とその要件を形式言語を用いて記述し，対象がその要件を満たす/満たさないことを数理的な技法を用いて証明する技術です． 厳密性が必要なセキュリティ分野との相性がよく，暗号プロトコルやシステムの検証など，セキュリティの様々な分野で応用されています． 本ワークショップでは，形式検証とセキュリティの境界領域の研究および実用化の促進を目的とし，最新の研究動向や検証ツールを紹介します．
開催概要
開催期間
CSS2026期間中（詳細日時は決まり次第掲載いたします）
会場
アクトシティ浜松 & オンライン（ハイブリッド開催）
アクセス情報はこちら
参加登録
FWS2026への参加登録はCSS2026の参加登録と共通になっています．
手続きの詳細につきましてはCSS2026の参加登録および参加費のページをご参照ください．
プログラム
TBD
今年度はTamarin Proverのハンズオンを行う予定です．
詳細は追ってご案内しますが，ご参加予定の方はぜひ事前にTamarin Proverの実行環境をご準備いただけますと幸いです．
プライバシーポリシー
FWS2026のプライバシーポリシーはCSS2026のプライバシーポリシーに準じます．