| 2008-09 -- 2009-09 | | Tunisia – Japan Workshop on Symbolic Computation in Software Science (SCSS 2009) |
| 2009-01 -- 2009-07 | | 8th International Conference on Mathematical Knowledge Management |
| 2009-04 -- 2010-03 | Association for Computing Machinery | PC member: ACM Symposium on Applied Computing 2010 |
| 2009-04 -- 2010-03 | 文部科学省 | 科学技術政策研究所 科学技術専門家ネットワーク専門調査員 |
| 2010 -- 2010 | | PC member: TERMGRAPH 2011 6th International Workshop on Computing with Terms and Graphs Saarbrücken, Germany |
| 2010 -- 2011-03 | | co-organizer Workshop on Logic and Computer Science at Kurt Goedel Research Center, University of Vienna |
| 2010 -- 2011-03 | Association for Computing Machinery | PC member: ACM Symposium on Applied Computing 2011 |