基盤(S)離散構造処理系プロジェクト（北海道大学サイト）

本プロジェクトによる主催，共催，協賛イベントは以下の通りです．

[定例開催]

• RA セミナー
  毎週金曜日 16:00-17:00
  VBL301B

[2018年度]

• 基盤(S) 離散構造処理系プロジェクト「2018年度 初夏のワークショップ」
  北大 (2018/7/6～7)
• 基盤(S)離散構造処理系プロジェクト京大拠点キックオフ ミニ集会
  京大 (2018/5/10)
• 基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2018.04」
  北大 (2018/4/16～20)
• 基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2018.05」
  北大 (2018/5/28～6/1)
• 基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2018.06」
  北大 (2018/6/18～6/22)
• 基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2018.07」
  北大 (2018/7/02～7/05)
• 基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2018.09A」
  北大 (2018/9/04～9/06)

[2017年度]

• 基盤(S) 離散構造処理系プロジェクト「2017年度 初夏のワークショップ」
  札幌 (2017/6/23～24)
• さきがけ「社会情報基盤」＆ 基盤(S)離散構造処理系プロジェクト 合同ミニワークショップ
  札幌 (2017/7/3)
• Conference of the International Federation of Classification Societies (IFCS-2017)
  SP17: Special Session on Enumeration Algorithm and Data Science
  Takanawa campus of Tokai University, Tokyo (2017/8/8～10)
• 人工知能学会 第104回人工知能基本問題研究会(SIG-FPAI)
  ※ 人工知能学会との共同主催
  小樽市公会堂 (2017/8/8～9)
• 基盤(S) 離散構造処理系プロジェクト 「2017年度 秋のワークショップ」
  ホテル五味＠厚岸(2017/11/12-14)

[2016年度]

• 基盤(S) 離散構造処理系プロジェクト「2016年度 初夏のワークショップ」
  札幌 (2016/6/17～18)
• 人工知能学会 第101回人工知能基本問題研究会(SIG-FPAI)
  ※ 人工知能学会との共同主催
  北海道大学 (2016/8/7～8)
• 2016年度 統計関連学会連合大会 企画セッション(6) 「超高速グラフ列挙法と統計学への応用」
  ※ 文科省 数学協働プログラムとの共催
  金沢大学 (2016/9/5)
• 基盤(S) 離散構造処理系プロジェクト「2016年度 秋のワークショップ」
  ガトーキングダム・サッポロ (2016/11/20〜22)
• 情報系WINTER FESTA Epsode2: 基盤(S) 離散構造処理系プロジェクト紹介/ハイライト
  東京・一橋講堂 (2016/12/23)

[2015年度]

• ERATO湊離散構造処理系プロジェクト「東京サテラボ終了記念＆専門書出版記念ワークショップ」
  東工大 (2015/4/26)
• ERATO湊離散構造処理系プロジェクト「2015年度 初夏のワークショップ」
  札幌 (2015/6/11～12)
• 2015年電子情報通信学会ソサイエティ大会 BI-2　離散構造処理の技法と情報ネットワークへの応用
  仙台 (2015/9/9)
• ERATO湊離散構造処理系プロジェクト「2015年度 秋のワークショップ」
  支笏湖 (2015/11/8-10)
• 情報系WINTER FESTA: ERATO/基盤(S) 離散構造処理系プロジェクト紹介/ハイライト(Group１, Group2)
  東京・一橋講堂 (2015/12/22～23)

[2014年度]

• ERATO湊離散構造処理系プロジェクト「2014年度 春のワークショップ」
  札幌 (2014/4/18～19)
• ALSIP 2014 : The fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery
  台南 (2014/5/13)
• RC2014 (6th Conference on Reversible Computation)
  July 10th-11th, 2014, Kyoto, Japan
• 電子情報通信学会 情報ネットワーク研究会 2014年7月研究会
  札幌（2014/7/17～18）
• ERATO湊離散構造処理系プロジェクト「2014年度 秋のワークショップ」
  礼文島 (2014/9/7～10)
• ERATO-ALSIP International Seminar 2014
  Kyoto (12-13, December)
• JST ERATO 河原林/湊プロジェクト合同ワークショップ
  2015年1月23日～24日（日本科学未来館）
• ERATO湊離散構造処理系プロジェクト最終報告会
  2015年1月24日（午後）（日本科学未来館）

[2013年度]

• RM2013 (Reed-Muller 2013)
  May 24-25 (Fri-Sat), 2013, Toyama Japan
• ERATO湊離散構造処理系プロジェクト「2013年度 初夏のワークショップ」
  札幌 (2013/6/28～29)
• 電子情報通信学会 情報ネットワーク研究会 2013年7月研究会
  札幌（2013/7/18～19）
• 論理と推論の理論・実装・応用に関する合同セミナー
  札幌（2013/7/24～25）
• 第12回情報科学技術フォーラム(FIT 2013), 計算限界ELC、湊ERATO、河原林ERATO　合同企画シンポジウム
  基礎理論が導く最先端技術：計算限界解明への取り組みと超高速アルゴリズム開発
  鳥取大学（2013/9)
• PyCon APAC 2013
  東京（2013/9)
• 北海道大学大学院 情報科学研究科 集中講義「大規模離散計算科学特論」
  2013/10/24～11/08
  講義資料等（パスワード付）
• ERATO湊離散構造処理系プロジェクト「2013年度 秋のワークショップ」(別名:ERATO合宿）
  北海道登別 (2013/11/25～27)

[2012年度]

• ERATO湊離散構造処理系プロジェクト「2012年度 初夏のワークショップ」
  札幌 (2012/6/22～23)
• 電子情報通信学会 情報ネットワーク研究会 2012年7月研究会
  札幌（2012/7/19～20）
• JST ERATO 湊離散構造処理系プロジェクト 2012 公開シンポジウム
  日本科学未来館 (2012/8/25)
• ERATO湊離散構造処理系プロジェクト「2012年度 秋のワークショップ」(別名:ERATO合宿）
  北海道夕張 (2012/10/15～17)
• Third Workshop on Algorithms for Large-Scale Information Processing (ALSIP 2012)
  宮崎 (2012/11/30～12/1)
• 北海道大学大学院 情報科学研究科 集中講義「大規模離散計算科学特論」
  2012/10/25～11/09
  講義資料等（パスワード付）

[2011年度]

• ERATO湊離散構造処理系プロジェクト「2011年度 初夏のワークショップ」
  札幌 (2011/6/10～11)
• 電子情報通信学会 情報ネットワーク研究会 2011年7月研究会
  札幌（2011/7/21～22）
• ERATO湊離散構造処理系プロジェクト「2011年度 秋のワークショップ」(別名:ERATO合宿）
  北海道支笏湖 (2011/10/31～11/2)
• Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2011)
  高松 (2011/12/1～2)
• 電子情報通信学会総合大会企画セッション 「The Art of Large-Scale Discrete Structure Manipulation－ERATO湊離散構造処理系プロジェクトシンポジウム(第３回)－」
  岡山 (2012/3/20)
• 北海道大学大学院 情報科学研究科 集中講義「大規模離散計算科学特論」
  2011/10/13～25
  講義資料等（パスワード付）

[2010年度]

• ERATO湊離散構造処理系プロジェクト「2010年度 初夏のワークショップ」,
  札幌 (2010/5/28～29)
• 大阪オフィスキックオフシンポジウム,
  大阪 (2010/6/30)
• 東京オフィスキックオフシンポジウム
  東京 (2010/7/15)
• ERATO湊離散構造処理系＋NEO合同研究会
  札幌 (2010/7/30)
• 第9回情報科学技術フォーラム(FIT 2010), ScienceとEngineering をつなぐ『Art』を求めて －ERATO湊離散構造処理系プロジェクトシンポジウム－
  福岡 (2010/9/8)
• 鷲尾研・ERATO合同セミナ
  札幌 (2010/9/13)
• 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN2010)
  Tokyo（2010/11/18～19）
• ERATO湊離散構造処理系プロジェクト 「2010年度 初冬のワークショップ」(別名:ERATO合宿）
  北海道北広島 (2010/11/29～12/1)
• 第73回情報処理学会全国大会 イベント企画 「ERATO湊離散構造処理系プロジェクトシンポジウム」（第2回）
  東京 (2011/3/2)
• Seventh Workshop on Learning with Logics and Logics for Learning（LLLL）， The 5th International Workshop on Data-Mining and Statistical Science（DMSS）
  Osaka (2011/3/28～30)