日本応用数理学会 (JSIAM)
「数理的技法による情報セキュリティ」研究部会 (FAIS)

更新情報

• [2024.9.30] 日本応用数理学会2024年度年会オーガナイズド・セッション(2024.9.15(日), 京都大学)のプログラムに、発表スライドを追加しました.
• [2024.8.7] 日本応用数理学会2024年度年会オーガナイズド・セッション(2024.9.15(日), 京都大学)のプログラムを公開しました.
• [2024.6.6] 日本応用数理学会2024年度年会オーガナイズド・セッション(2024.9.14(土)～2024.9.16(月), 京都大学)の講演募集のご案内です.
• [2024.3.21] 第20回日本応用数理学会研究部会連合発表会FAISオーガナイズド・セッション(2024.3.4(月), 長岡技術科学大学)のプログラムに、発表スライドを追加しました.
• [2024.2.21] 第20回日本応用数理学会研究部会連合発表会FAISオーガナイズド・セッション(2024.3.4(月), 長岡技術科学大学)のプログラムを公開しました.
• [2024.1.8] 第20回日本応用数理学会研究部会連合発表会FAISオーガナイズド・セッション(2024.3.4(月), 長岡技術科学大学)の講演募集のご案内です.
• [2023.3.14] 第19回日本応用数理学会研究部会連合発表会FAISオーガナイズド・セッション(2023.3.10(金), 岡山理科大学岡山キャンパス, ハイブリッド形式)のプログラムに、概要と一部の発表スライドを追加しました.
• [2023.2.25] 第19回日本応用数理学会研究部会連合発表会FAISオーガナイズド・セッション(2023.3.10(金), 岡山理科大学岡山キャンパス, ハイブリッド形式)の暫定版プログラムを公開しました. 概要は後日公開いたします.
• [2022.12.8] 第19回日本応用数理学会研究部会連合発表会FAISオーガナイズド・セッション(2023.3.8(水)〜2023.3.10(金), 岡山理科大学岡山キャンパス, ハイブリッド形式)の講演募集のご案内です.
• [2021.9.9] 日本応用数理学会2021年度年会FAISオーガナイズド・セッション(2021.9.9(木), オンライン形式)のプログラムを公開しました.
• [2021.6.22] 日本応用数理学会2021年度年会オーガナイズド・セッション(2021.9.7(火)～2021.9.9(木), オンライン形式)の講演募集のご案内です.
• [2020.8.17] 日本応用数理学会2020年度年会FAISオーガナイズド・セッション(2020.9.8(火), オンライン形式)のプログラムを公開しました.
• [2020.8.3] 日本応用数理学会2020年度年会FAISオーガナイズド・セッション(2020.9.8(火)～2020.9.10(木), オンライン形式)の暫定プログラムを公開しました. 詳細な日時が決まり次第更新致します.
• [2020.7.10] 日本応用数理学会2020年度年会オーガナイズド・セッション(2020.9.8(火)～2020.9.10(木), オンライン形式)の招待講演について追記しました.
• [2020.6.27] 日本応用数理学会2020年度年会オーガナイズド・セッション(2020.9.8(火)～2020.9.10(木), オンライン形式)の講演募集のご案内です.
• [2019.8.23] 日本応用数理学会2019年度年会FAISオーガナイズド・セッション(2019.9.3(火), 東京大学駒場キャンパス)のプログラムを公開しました.
• [2019.6.4] 日本応用数理学会2019年度年会オーガナイズド・セッション(2019.9.3(火)～2019.9.5(木), 東京大学駒場キャンパス)の講演募集のご案内です.
• [2018.7.26] 日本応用数理学会2018年度年会FAISオーガナイズド・セッション(2018.9.5(水), 名古屋大学東山キャンパス)のプログラムを公開しました.
• [2018.6.1] 日本応用数理学会2018年度年会オーガナイズド・セッション(2018.9.3(月)〜2018.9.5(水), 名古屋大学東山キャンパス)の講演募集のご案内です.
• [2017.9.11] 日本応用数理学会2017年度年会FAISオーガナイズド・セッション(2017.9.6(水), 武蔵野大学有明キャンパス)のプログラムを更新しました.
• [2017.8.20] 日本応用数理学会2017年度年会FAISオーガナイズド・セッション(2017.9.6(水), 武蔵野大学有明キャンパス)のプログラムを公開しました.
• [2017.5.31] 日本応用数理学会2017年度年会オーガナイズド・セッション(2017.9.6(水)〜2017.9.8(金), 武蔵野大学有明キャンパス)の講演募集のご案内です.
• [2016.9.12] 日本応用数理学会2016年度年会FAISオーガナイズド・セッション(2016.9.12(月), 北九州国際会議場)のプログラムを更新しました.
• [2015.8.9] 日本応用数理学会2015年度年会FAISオーガナイズド・セッション(2015.9.11(金), 金沢大学角間キャンパス)のプログラムを公開しました.
• [2015.8.9] 2015年研究部会連合発表会 FAISセッション (2015.3.7(土), 明治大学 中野キャンパス)のページを作成しました.
• [2014.9.8] 日本応用数理学会2014年会FAISオーガナイズド・セッション(2014.9.5(金), 政策研究大学院大学)のページに講演資料を追加しました.
• [2014.8.19] 日本応用数理学会2014年会FAISオーガナイズド・セッション(2014.9.5(金), 政策研究大学院大学)のプログラムを公開しました.
• [2014.2.20] 2014年春の研究部会連合発表会 FAISセッション(2014.3.19(水), 京都大学吉田キャンパス)のプログラムを公開しました.
• [2013.10.2] 日本応用数理学会2013年度年会FAISオーガナイズド・セッション (2013.9.11(水), アクロス福岡)のページに講演資料を追加しました.
• [2013.4.11] 4月から幹事団の顔ぶれが変わりました. 新しい幹事団です. よろしくお願いいたします.
• [2013.4.11] 2013年春の研究部会連合発表会 FAISセッション(2013.3.15(金), 東洋大学 白山キャンパス)のページに講演資料を追加しました.
• [2012.9.12] 日本応用数理学会2012年度年会オーガナイズド・セッション(2012.8.29(水), 稚内全日空ホテル)のページに講演資料を公開しました.
• [2012.3.21] 4月から幹事団の顔ぶれが変わります. 新しい幹事団です. よろしくお願いいたします.
• [2012.3.16] 2012年春の研究部会連合発表会 FAISセッション(2012.3.8(木), 九州大学 伊都キャンパス数理IMI棟)のページに講演資料を追加しました.
• [2012.2.1] 2012年春の研究部会連合発表会 FAISセッション(2012.3.8(木), 九州大学 伊都キャンパス数理IMI棟)の暫定プログラムを公開しました.
• [2011.12.18] 2012年春の研究部会連合発表会 FAISセッション(2012.3.8(木)〜2012.3.9(金), 九州大学 伊都キャンパス数理IMI棟)の講演募集のご案内です.
• [2011.10.1] 日本応用数理学会2011年度年会オーガナイズド・セッション(2011.9.16(金), 同志社大学 今出川キャンパス)のページに講演資料を追加しました.
• [2011.8.5] 日本応用数理学会2011年度年会オーガナイズド・セッション(2011.9.16(金), 同志社大学 今出川キャンパス)のプログラムをアップデートしました. 特に, 開始時刻が変更になりました. ご注意ください.
• [2011.6.28] 日本応用数理学会2011年度年会オーガナイズド・セッション(2011.9.16(金), 同志社大学 今出川キャンパス)の暫定プログラムを公開しました.
• [2011.5.24] 日本応用数理学会2011年度年会オーガナイズド・セッション(2011.9.14(水)〜2011.9.16(金), 同志社大学 今出川キャンパス)の講演募集のご案内です.
• [2011.3.25] 2011年春の研究部会連合発表会 FAISセッション(2011.3.7(月), 電気通信大学)のページに講演資料を追加しました.
• [2011.2.4] 2011年春の研究部会連合発表会 FAISセッション(2011.3.7(月), 電気通信大学)の暫定プログラムを公開しました.
• [2010.12.16] 2011年春の研究部会連合発表会 FAISセッション(2011.3.7(月)〜2011.3.8(火), 電気通信大学)の講演募集のご案内です.
• [2010.12.13] 幹事団の顔ぶれが変わりました. 新しい幹事団です. よろしくお願いいたします.
• [2010.9.15] 日本応用数理学会2010年度年会オーガナイズド・セッションのページに講演資料を追加しました.
• [2010.7.13] 日本応用数理学会監修のシリーズ応用数理 第1巻「数理的技法による情報セキュリティ」(萩谷昌己, 塚田恭章 (編))が7月下旬に共立出版より刊行の予定です. 関連出版物のページをご覧ください.
• [2010.7.13] 日本応用数理学会2010年度年会オーガナイズド・セッション(2010.9.6(月), 明治大学 駿河台キャンパス)の暫定プログラムを公開しました.
• [2010.5.18] 日本応用数理学会2010年度年会オーガナイズド・セッション(2010.9.6(月)〜2010.9.9(木), 明治大学 駿河台キャンパス)の講演募集のご案内です.
• [2010.3.16] 2010年春の研究部会連合発表会 FAISセッションのページに講演資料を追加しました.
• [2010.2.17] 2010年春の研究部会連合発表会 FAISセッション(2010.3.8(月), 筑波大学)のプログラムが一部変更になりました.
• [2010.2.1] 2010年春の研究部会連合発表会 FAISセッション(2010.3.8(月), 筑波大学)の暫定プログラムを公開しました.
• [2009.12.25] 2010年春の研究部会連合発表会 FAISセッション(2010.3.8(月)〜2010.3.9(火), 筑波大学)の講演募集のご案内です.
• [2009.10.19] 日本応用数理学会2009年度年会オーガナイズド・セッションのページに講演資料を追加しました.
• [2009.8.29] 日本応用数理学会2009年度年会オーガナイズド・セッション(2009.9.28(月), 大阪大学 豊中キャンパス)のプログラムが決まりました.
• [2009.6.1] 日本応用数理学会2009年度年会オーガナイズド・セッション(2009.9.28(月)〜2009.9.30(水), 大阪大学 豊中キャンパス)の講演募集のご案内です.
• [2009.3.18] 2009年春の研究部会連合発表会 FAISセッションのページに講演資料を追加しました.
• [2009.2.9] 2009年春の研究部会連合発表会 FAISセッション(2009.3.7, 京都大学)の暫定プログラムを公開しました.
• [2009.1.8] 2009年春の研究部会連合発表会 FAISセッション(2009.3.7(土)〜2009.3.8(日), 京都大学)の講演募集のご案内です.
• [2009.1.6] JSIAMの新しい英文レター誌JSIAM Lettersが本日創刊されました.
• [2008.12.1] 日本応用数理学会の協賛で暗号の計算論的・記号的安全性証明に関するスプリングスクール＆ワークショップ(Spring School and Workshop on Computational and Symbolic Proofs of Security, CoSyProofs 2009) (2009.4.6(月)〜2009.4.9(木), 伊豆熱川温泉 熱川ハイツ)を開催します. FAIS研究部会の中心テーマと深く関連する内容のイベントです. ぜひご参加ください.
• [2008.10.14] 日本応用数理学会2008年度年会オーガナイズド・セッションのページに講演資料を追加しました.
• [2008.8.13] 日本応用数理学会2008年度年会オーガナイズド・セッション(2008.9.18(木), 東京大学 柏キャンパス)のプログラムが決まりました.
• [2008.6.6] 日本応用数理学会2008年度年会オーガナイズド・セッション(2008.9.17(水)〜2008.9.19(金), 東京大学 柏キャンパス)の講演募集のご案内です. FAIS オーガナイズド・セッションでの発表論文は, 2009年1月創刊予定の電子ジャーナルJSIAM Letters誌への投稿機会が与えられます. ぜひご講演・ご投稿ください.
• [2008.3.31] 2008年春の研究部会連合発表会 FAISセッションのページに, Hubert Comon-Lundh先生のFAIS特別講演の資料と, 6件の一般講演の資料を追加しました.
• [2008.2.12] 2008年春の研究部会連合発表会 FAISセッション(2008.3.8, 首都大学東京)の暫定プログラムを公開しました.
• [2008.1.4] 学会誌「応用数理」Vol.17, No.4 (2007年12月) pp.6--58 は, 「数理的技法による情報セキュリティ」特集です. ぜひご覧ください.
• [2007.12.27] 2008年春の研究部会連合発表会 FAISセッション(2008.3.8(土)15:00--18:00, 首都大学東京)の講演募集のご案内です. なお, 同日13:40--14:40には, 栗田太郎氏(フェリカネットワークス株式会社)による研究部会連合発表会 総合講演「携帯電話組み込み用"モバイル FeliCa IC チップ"開発における数理的技法(形式仕様記述手法)の適用について」も予定されています.
• [2007.8.10] 日本応用数理学会2007年度年会オーガナイズドセッション(2007.9.15(土), 北海道大学)のプログラムが決まりました.
• [2007.7.2] 日本応用数理学会2007年度年会オーガナイズドセッション(2007.9.15(土) (予定), 北海道大学)の講演募集のご案内です.
• [2007.5.29] Roberto Segala 教授 講演会のページに, 三日間分の講演資料を追加しました.
• [2007.5.11] Roberto Segala 教授 講演会のご案内です.
• [2007.4.13] 2007年度の活動計画を研究集会のページに掲載しました. 今年度は, 年会(9月)と研究部会連合発表会(3月)における FAIS セッションを充実させるとともに, 海外からの研究者を招いての講演会などを随時主催したいと考えています.
• [2007.4.13] 学会誌「応用数理」Vol.17, No.1 (2007年3月) pp.85--86 に, FAIS 研究部会の紹介記事が掲載されました.
• [2007.4.1] 2006年に発足した FAIS は, 約1年間の研究部会準備会としての活動を経て, 2007年度より正式に研究部会として活動を開始しました.
• [2007.3.30] 2007年春の研究部会連合発表会 FAISセッションのページにさらに講演資料を追加しました.
• [2007.3.19] 2007年春の研究部会連合発表会 FAISセッションのページに講演資料を追加しました.
• [2007.2.20] 2007年春の研究部会連合発表会 FAISセッション(2007.3.4, 名古屋大学)のページを更新しました. 会場が変更になりましたのでご注意ください. 研究連合発表会の全体プログラムも公開されました.
• [2007.2.7] 2007年春の研究部会連合発表会 FAISセッション(2007.3.4, 名古屋大学)の暫定プログラムを公開しました.
• [2007.1.9] 第二回研究集会のページに講演資料を追加しました.
• [2006.12.11] 2007年春の研究部会連合発表会 FAISセッション(2007.3.3〜3.4, 名古屋大学)の講演募集のご案内です.
• [2006.12.6] FAISの英文紹介ページを追加しました.
• [2006.12.4] 第2回日仏セキュリティシンポジウム(慶應大学三田キャンパス)で, 萩谷昌己先生がFAISの紹介をしました.
• [2006.11.29] 第二回研究集会(2006.12.22, 東京大学駒場キャンパス)のご案内です.
• [2006.11.7] 幹事に新しくアフェルト レナルド Reynald Affeldt さん（産業技術総合研究所 情報セキュリティ研究センター）が加わりました.
• [2006.10.12] 日本応用数理学会2006年度年会オーガナイズドセッションのページに, 岡本龍明先生の特別講演の講演資料を追加しました.
• [2006.10.5] 第二回研究集会は, 12月22日(金)に東大数理科学研究科(駒場)で行います. 詳細は追ってご案内いたします.
• [2006.10.5] 日本応用数理学会2006年度年会オーガナイズドセッションのページに, 萩谷先生の特別講演の講演資料を追加しました.
• [2006.8.22] 第一回研究集会のページに講演資料を追加しました.
• [2006.8.14] 日本応用数理学会2006年度年会オーガナイズドセッションのご案内です. 多くの方の参加をお待ちいたしております.
• [2006.7.25] FAISメーリングリストを立ち上げました.
• [2006.7.10] 日本応用数理学会2006年度年会においてオーガナイズドセッションの開催を予定しています.
• [2006.7.10] 第一回研究集会(立ち上げ会)のご案内です.
• [2006.7.7] FAISホームページを立ち上げました.