| 2013.12.26-27 |
Meeting on (Inductive) Logic Programming for Dynamical Systems, Wakayama University, Wakayama
|
| 2013.12.11 |
沖本天太 特任助教が，
The 7th International Workshop on Multi-Disciplinary Trends in Artificial Intelligence (MIWAI 2013) において Best Presentation Award を受賞
|
2013.11.11,
11.18,11.25,12.2 |
Robert A. Kowalski 名誉教授 (Imperial College London) による連続レクチャー
"Computational Logic and Human Thinking"
|
| 2013.11.7 |
KGU-NII Meeting on Qualitative Spatial Reasoning, Kwansei Gakuin University Umeda Campus, Osaka
|
| 2013.11.6 |
Meeting on Theories and Applications of Knowledge Representation and Reasoning (With Prof. Esra Erdem)
|
| 2013.10.11-14 |
The 4th JFLI-LIP6-NII Meeting on Efficient Methods for
Reasoning and Problem Solving
(LIP6, Université Pierre et Marie Curie, Paris, France)
|
| 2013.10.9-10 |
The 5th JFLI-NII-LRI Workshop on Formal Approaches for Modeling and Analyzing Biological Networks
(LRI, Université Paris-Sud, Orsay, France)
|
| 2013.9.19 |
Alexandre Medi (Univ. Nantes からのインターン生)，沖本天太 特任助教，井上克巳 教授が，合同エージェントワークショップ & シンポジウム 2013 (JAWS 2013) において優秀論文賞を受賞
|
| 2013.9.15 |
1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)
|
| 2013.9.15 |
日本経済新聞朝刊記事 「人工知能、科学的発見できる？」 に井上教授の研究が紹介される．
|
| 2013.9.11 |
井上教授による 日本ソフトウェア科学会第30回大会・トップカンファレンス特別招待講演
|
| 2013.9.4 |
2013年度NII国際インターンシッププログラム 第2次募集
(項目番号: 4, 5, 6, 7, 8)
(NIIでの締め切り: 2013.10.25)
|
| 2013.8.1 |
International Workshop on Systems Resilience at NII
|
| 2013.7.26 |
総研大博士後期課程学生 Tony Ribeiro 君の平成25年度第1回国立情報学研究所優秀学生賞受賞が決定
|
| 2013.7.24-26 |
論理と推論の理論, 実装, 応用に関する合同セミナーおよび第3回CSPSAT2研究会
|
| 2013.7.12 |
SATソルバー GlueMiniSat (山梨大・鍋島英知・准教授および岩沼宏治・教授との共同開発) が SAT Competition 2013 の Application 部門 Certified UNSAT クラスで準優勝
|
| 2011.6.14-15 |
平成25年度 NII オープンハウスにて「システムズ・レジリエンス」研究展示
|
| 2013.6.6 |
井上教授による 2013年度人工知能学会全国大会特別講演 「説明と予測：科学的発見からレジリエンスへ」
|
| 2013.5.20 |
朝日新聞科学面記事 「ロボットが住む未来：人と会話、小説書く、研究する 」 に井上教授の研究が紹介される．
|
| 2013.5.10 |
Nicolas Schwind 特任研究員，沖本天太・特任助教，井上克巳・教授，陳希・特任助教，Tony Ribeiro 総研大大学院生らによる論文が，第12回自律エージェントとマルチエージェントシステム国際会議 (AAMAS 2013) において，Best Challenges and Visions Paper Prize を受賞
|
| 2013.4.19 |
バイオインフォマティクスに関するKUBIC-NII合同セミナー2013
|
2013.3.21,
4.3,4.10,4.17 |
Morgan Magnin 准教授による連続レクチャー
"Computational approaches to analyze complex dynamic systems:
Model-checking and its applications"
|
| 2013.3.13-15 |
第2回CSPSAT2研究会
|
| 2013.3.8 |
2013年度NII国際インターンシッププログラム 第1次募集
(項目番号: 4, 5, 6, 7, 8)
(NIIでの締め切り: 2013.5.10)
|
| 2013.2.26 - 2.27 |
情報・システム研究機構新領域融合センターシンポジウム「システムズ・レジリエンス—想定外を科学する—」
|
| 2013.2.18-22 |
メルボルン大学 MSSI および NICTA を訪問
|
| 2013.1.8 |
Morgan Magnin 准教授 (École Centrale de Nantes) による講演
"Formal Models for the Inference of Time Delay Parameters
in Biological Regulatory Networks"
|
