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

国際会議主催状況表示
表示方法:
表示順:

 

 

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

5件中1-5件目

  • 1. 4th Austria - Japan Summer Workshop on Term Rewriting (AJSW 2016),JAIST, Associate Professor, Nao Hirokawa;University of Innsbruck, Research Assistant, Christian Sternagel,September 8-9, 2016,Obergurgl, Austria
  • 2. 16th International Workshop on Logic and Computational Complexity,Universitat Politecnica de Catalunya, Professor, Albert Atserias;JAIST, Associate Professor, Nao Hirokawa,July 4-5, 2015,Kyoto, Japan
  • 3. 2nd International Workshop on Confluence (IWC 2013),JAIST, Associate Professor, Nao Hirokawa;Utrecht University, Professor, Vincent van Oostrom,June 28, 2013,Eindhoven, The Netherlands
  • 4. 3rd Workshop on Proof Theory and Rewriting (PR 2013),JAIST, Associate Professor, Nao Hirokawa;University of Innsbruck, Associate Professor, Georg Moser; JAIST, Professor, Hajime Ishihara;,4-8 March, 2013,Ishikawa Prefectural Museum of Art, Kanazawa, Ishikawa, Japan
  • 5. 1st International Workshop on Confluence (IWC 2012),JAIST, Associate Professor, Nao Hirokawa;University of Innsbruck, Professor, Aart Middeldorp;,2012/05/29,Nagoya, Japan