北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

その他の国際・国内貢献表示
表示方法:
表示順:

 

 

廣川 直 (ヒロカワ ナオ) 准教授
情報科学系、知能ロボティクス領域

20件中1-20件目

  • 1. 8th Conference on Interactive Theorem Proving(ITP,プログラム委員,2016/10/15 - 2017/09/29
  • 2. 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (DICE-FOPARA),プログラム委員,2016/12/20 - 2017/12/23
  • 3. 6th Confluence Competition (CoCo 2017),組織委員,2016/09/10 - 2017/09/08
  • 4. 1st Formal Structures for Computation and Deduction (FSCD 2016),プログラム委員,2015/08/13 - 2016/06/26
  • 5. 5th Confluence Competition (CoCo 2016),組織委員,2015/08/03 - 2016/09/30
  • 6. 5th International Workshop on Confluence (IWC 2016),プログラム委員,2016/05/11 - 2016/09/09
  • 7. 4th Confluence Competition (CoCo 2015),組織委員,2014/07/18 - 2015/08/02
  • 8. 25th International Conference on Automated Deduction (CADE-25),プログラム委員,2014/07/07 - 2015/08/07
  • 9. 6th International Symposium on Symbolic Computation in Software Science (SCSS 2014),プログラム委員,2014/04/04 - 2014/12/11
  • 10. ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM'15),プログラム委員,2014/07/10 - 2015/01/14
  • 11. 3rd Confluence Competition (CoCo 2014),組織委員,2013/06/29 - 2014/07/18
  • 12. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19),プログラム委員,2013/07/08 - 2013/12/20
  • 13. 24th International Conference on Rewriting Techniques and Applications (RTA 2013),プログラム委員,2012/08/10 - 2013/06/26
  • 14. 2nd Confluence Competition (CoCo 2013),組織委員,2012/05/30 - 2013/06/28
  • 15. 13th International Workshop on Termination (WST),プログラム委員,2013/05/05 - 2013/08/31
  • 16. 9th International Workshop on Developments in Computational Models (DCM 2013),プログラム委員,2013/04/15 - 2013/08/26
  • 17. 1st Confluence Competition (CoCo 2012),ステアリング委員,2012/05/29 - 2012/05/29
  • 18. 12th International Workshop on Termination,プログラム委員,2012/10/19 - 2012/02/24
  • 19. 23rd International Conference on Rewriting Techniques and Applications (RTA'12),組織委員およびプログラム委員,2011/06/23 - 2012/06/22
  • 20. 3rd International Workshop on Developments in Implicit Complexity (DICE'11),プログラム委員,2011/05/09 - 2012/05/08