研究室のトップページはこちらをクリック

国内

研究会

• コンピュテーション研究会
• 情報論的学習理論と機械学習研究会
• 人工知能基本問題研究会
• アルゴリズム研究会
• ゲーム情報学研究会
• ソフトウェア工学研究会

全国大会、ワークショップ

• 人工知能学会全国大会
• LAシンポジウム
• 情報論的学習理論ワークショップ
• ゲームプログラミングワークショップ
• ソフトウェア工学の基礎研究会
• 機械学習工学研究会
• プログラミングおよびプログラミング言語ワークショップ
• ソフトウェア工学シンポジウム
• ウィンターワークショップ

国際

人工知能

• NeurIPS
• IJCAI
• AAAI
• ICML
• SAT
• CP
• KR

ソフトウェア工学

• ICSE
• FSE
• ASE
• ISSTA

検証

• CAV
• TACAS