Japanese representative , IFIP Technical Committee 1 (Foundations of Computer Science)
member , IFIP Working Group 1.6 (Rewriting)
program committee member , 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
program committee member , 29th International Conference on Automated Deduction (CADE)
program committee member , 8th International Conference on Formal Structures of Computation and Deduction (FSCD)
steering committee member , International Workshop on Confluence (IWC)
program committee member , 15th International Symposium on Functional and Logic Programming (FLOPS 2020)
program committee member , 13th International Workshop on Rewriting Logic and its Applications (WRLA 2020)
program committee member , 5th International Conference on Formal Structures of Computation and Deduction (FSCD 2020)
program committee member , ソフトウェア科学会 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
program committee member , 4th International Conference on Formal Structures of Computation and Deduction (FSCD 2019)
program committee member , 27th International Conference on Automated Deduction (CADE-27)
steering committee member , Logic and Computational Complexity (LCC)
steering committee member , Confluence Competition (CoCo)
program committee member , 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (DICE-FORARA 2017)
program committee member , 8th International Conference on Interactive Theorem Proving (ITP 2017)
steering committee member , International Conference on Formal Structures for Computation and Deduction (FSCD)
program committee member , 1st International Conference on Formal Structures of Computation and Deduction (FSCD 2016)
program committee member , 5th International Workshop on Confluence (IWC 2016)
steering committee member , International Conference on Rewriting Techniques and Applications (RTA)
program committee member , 25th International Conference on Automated Deduction (CADE-25)
program committee member , Workshop on Partial Evaluation and Program Manipulation (PEPM 2015)
program committee member , 6th International Symposium on Symbolic Computation in Software Science (SCSS 2014)
program committee member , 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19)
program committee member , ソフトウェア科学会 第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
program committee member , 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
co-chair , 2nd International Workshop on Confluence (IWC 2013)
program committee member , 9th International Workshop on Developments in Computational Models (DCM 2013)
program committee member , 12th International Workshop on Termination (WST 2012)
program committee member , 3rd International Workshop on Developments in Implicit Complexity (DICE 2012)
co-chair , 2st International Workshop on Confluence (IWC 2012)
program committee member , 23rd International Conference on Rewriting Techniques and Applications (RTA 2012)