2020年1月 - 2020年11月 Program Committee Member 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020)