TOP Page >  Search Result  >  Profile > Display All

Academic Society Affiliations
Results per page:
Chronological sort:



Nao Hirokawa Associate Professor
School of Information Science、Intelligent Robotics Area

Results 1-6 of about 6

  • 1. International Workshop on Logic and Computational Complexity (LCC),Steering Committee Member,2015-2017
  • 2. International Conference on Formal Structures for Computation and Deduction (FSCD),Steering Committee Member,2015-2016
  • 3. International Conference on Rewriting Techniques and Applications (RTA),Steering Committee Member,2014-2015
  • 4. IFIP Working Group 1.6 (Term Rewriting),member,2014-
  • 5. International Workshop on Confluence (IWC),Steering Committee Member,2013-
  • 6. Confluence Competition (CoCo),Founding Board Member and Steering Committee,2011-