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-7 of about 7

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