2021年3月 - 2022年11月 Program Committee Member 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)