| 2012.12.11 |
Dalal Alrajeh博士による講演
"Handling Flaws in Declarative Specifications"
|
| 2012.11.21-23 |
The 2012 CRIL-NII Collaborative Meeting on Reasoning about
Dynamic Constraint Networks
(CRIL, Université d'Artois, Lens, France)
|
| 2012.11.19-20 |
The 4th JFLI-LRI-NII Workshop on Consequence Finding and
Propositional Satisfiability in Distributed Environments and
Systems Biology
(LRI, Université Paris-Sud, Orsay, France)
|
| 2011.11.15-16 |
The 2012 JFLI-LIP6-NII Meeting on Efficient Methods for
Reasoning and Problem Solving
(LIP6, Université Pierre et Marie Curie, Paris, France)
|
| 2012.10.26 |
沖本天太・特任助教が，合同エージェントワークショップ＆シンポジウム (JAWS) 2012にて，IEEE Computer Society Japan Chapter JAWS Young Researcher Award を受賞
|
| 2012.10.16 |
平成24年度市民講座講演
「発見の科学 ～コンピュータが仮説をみつける！～」 (井上教授)
|
| 2012.10.11-12 |
第5回 CSPSAT & ASPセミナー
(2012年NII共同研究と共同開催)
|
| 2012.10.5 |
Torsten Schaub教授による講演
"Answer Set Programming in Practice"
|
| 2012.9.24 |
International Workshop on Learning and Discovery in Symbolic Systems Biology (LDSSB 2012)
|
| 2012.9.4 |
2012.9.4 2012年度NII国際インターンシッププログラム 第2次募集
(NII における締切: 2012.10.24)
(項目番号: 13, 14, 15, 16)
|
| 2012.8.1 |
新メンバーを加えて People を更新
|
| 2012.7.26-27 |
Systems Resilience Summer Workshop in Karuizawa
|
| 2012.7.12-13 |
第1回CSPSAT2研究会・NII共同研究・合同研究会
|
| 2012.5.27-31 |
NII湘南会議 "Parallel Methods for Constraint Solving and Combinatorial Optimization"
|
| 2012.5.21-22 |
第4回 CSPSAT & ASPセミナー
(2012年NII共同研究と共同開催)
|
| 2012.5.18 |
Chitta Baral教授によるセミナー
"Lessons from Efforts to Automatically Translate English
to Knowledge Representation Languages"
|
| 2012.5.10 |
システムズ・レジリエンス キックオフミーティング
|
| 2012.5.7 |
Research を更新
|
| 2012.4.26 |
バイオインフォマティクスに関するKUBIC-NII合同セミナー2012
|
| 2012.4.3 |
井上研究室 事務補佐員(秘書)募集 (終了しました)
|
| 2012.4.2 |
新メンバーを加えて People を更新
|
| 2012.3.8-9 |
推論による仮説発見とシステム生物学への応用 第8回会議
|
| 2012.3.6 |
2012年度NII国際インターンシッププログラム 第1次募集
(締切: 2012.4.19)
(項目番号6, 7)
|
| 2012.2.2-3 |
融合シーズ研究集会
グローバル調節ネットワークにおける因果関係と推論を用いた知識発見
|
