Review Editor on the Editorial Board of Computer Security , Frontiers in Computer Science , 2020
PC co-chair , 32nd International Conference on Software Engineering & Knowledge Engineering , 2020 - 2020
PC co-chair , Fifith IEEE International Conference on Dependable Systems and Their Applications , 2018 - 2018 , Dalian, China
Chair , Special Interest Goup of Software Science, IEICE , 2016 - 2018
PC co-chair , 18th International Conference on Formal Engineering Methods , 2016 - 2016 , TKP Conference Centre, Tokyo, Japan
vice-chair , Special Interest Goup of Software Science, IEICE , 2014 - 2016
Organization co-chair , Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi , 2014 - 2014 , Kanazawa
Guest editor-in-chief of Special Section of Formal Approach , IEICE Transaction on Information and Systems , 2013 - 2013
Workshop/tutorial co-chair , 14th International Conference on Formatl Engineering Methods , 2012 - 2012
Associate editor , IEICE Transaction on Information and Systems , 2007 - 2011
Co-organizer and a lecturer , JAIST Advanced School of Formal Specification and Systems Verification (JAIST-FSSV2010) , 2010 - 2010
A lecturer , Sinaia School of Formal Verification of Software Systems , 2008 - 2008
Secretary , Special Interest Goup of Software Science, IEICE , 1999 - 2001