Zhenjiang Hu's Academic Activities

Editors of Academic Journals

• Journal of Functional Programming: Editorial Board Member (2022-)
• Journal of Logical and Algebraic Methods in Programming: Editorial Board Member (2023-)
• Science of Computer Programming (Elsevier): Editorial Board Member (2013-)
• Software and Systems Modeling (Springer): Editorial Board Member (2013-)
• National Science Review (NSR, Oxford Journals): Editorial Board Member (2013-)
• SCIENCE CHINA Information Sciences (Springer): Editorial Board Member (2017-)
• New Generation Computing (Springer): Planning Committe Member (2006-)
• IEEE Transactions on Software Engineering: Associate Editor (2013-2017)
• JSSST コンピュータソフトウエア: 編集委員 (2002-2012)
• IPSJ 情報処理学会会誌: 編集委員 (2005-2008)
• Information and Media Technology: Editor (2008-2010)
• Frontiers of Computer Science in China (Springer): Editor (2006-2007)
• Journal of Functional and Logic Programming: Guest Editor (2003)

Executive/Steering Committee Members

• IFIP Working Group 2.1: Member (2010-)
• IFIP TC2 (Software: Theory and Practice), Japan Representative (2013-2017)
• Asian Association for Foundation of Software: Executive Committee Member (2003-), Co-Chair (2014-)
• ACM International Conference on Functional Programming (ICFP): Steering Committee Member (2009-2013)
• ACM Haskell Symposium (Haskell): Steering Committee Member (2014-2016)
• IEEE Conferences Advisory Committee Member (2014-)
• International Conference on Model Transformations: Steering Committee Member (2012-)
• Bidirectional Transformation: Advisory Board Member (2010-)
• Functional and Logic Programming Symposium (FLOPS): Steering Committee Member (2002-2012)
• 日本ソフトウェア 科学会 プログラミング論研究会: 運営委員会メンバー (2002-2005), (2009-2013)
• 日本ソフトウェア 科学会 プログラミング論研究会: 主査 (1999-2002)

Chairs/Organizers of Conferences/Workshops

• Program Committee Chair, China National Computer Congress,
  (CNCC 2024, Hengdian, China, October 24-26, 2024)
• General Co-Chair, ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems,
  (MODELS 2021, Fukuoka, Japan, October 10-15, 2021)
• Program Co-Chair, 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation.
  (PEPM 2020, New Orleans, Louisiana, United States, January 20, 2020)
• General Co-Chair, Tenth International Symposium on Information and Communication Technology,
  (SoICT 2019, Hanoi & Ha Long Bay, Vietnam, December 6-8, 2019)
• Steering Committee Chair, NII Shonan Meetings, (2018-2018)
  (The First Dagstuhl-like seminars in Asia)
• Academic Committee Chair, NII Shonan Meetings, (2011-2017)
  (The First Dagstuhl-like seminars in Asia)
• General Co-Chair, Eighth International Symposium on Information and Communication Technology,
  (SoICT 2017, Nha Thang, Vietnam, December 7-8, 2017)
• PC Co-Chair, 22nd International Conference on Engineering of Complex Computer Systems,
  (ICECCS 2017, Fukuoka, Japan, November 5-8, 2017)
• PC Co-Chair, 6th Asian Workshop of Advanced Software Engineering,
  (AWASE 2017, Chongqing, China, May 4-5, 2017)
• PC Co-Chair, 4th Asian Workshop on Advanced Software Engineering
  (AWASE 2014, Beijing, China, October 11 - 12, 2014)
• Workshop Chair, The Eighteenth IEEE International Conference on Engineering of Complex Computer Systems
  (ICECCS 2013, Singapore, 17-19 July 2013)
• PC Co-Chair, 5th International Conference on Model Transformation
  (ICMT 2012, Prague, Czech Republic, May 28 - Jue 1, 2012)
• PC Co-Chair, 2nd NII-PKU International Joint Workshop on Advanced Software Engineering
  (NII-PKU 2011, Hakone, Japan, October 21 - 23, 2011)
• General Co-Chair, 16th ACM International Conference on Functional Programming
  (ICFP 2011, Tokyo, Japan, September 19-21, 2011)
• Co-organizer, Dagstuhl seminar on bidirectional transformations (bx)
  (BX2011, Dagstuhl, Germany, January 16-21, 2011)
• Co-Organizer, 4th DIKU-IST Joint Workshop on Foundations of Software
  (DIKU-IST 2011, Tokyo, Japan, January 10-14, 2010)
• Co-Chair, 1st PKU-NII Joint Workshop on Advanced Software Engineering
  (PKU-NII 2010, Peking, China, October 9-10, 2010)
• Co-organizer, 3rd Workshop on Living with Inconsistencies in Software Development
  (LWI 2010 co-located with ASE 2010, Antwerp, Belgium September 21, 2010)
• PC Co-Chair, 4th Workshop on Bidirectional Transformation in ABC
  (4th BT-in-ABC, Hakone, Japan, March 12-14, 2010)
• PC Chair, GRACE International Symposium on Advanced Software Engineering 2010
  (GRACE 2010, NII, Tokyo, Japan, March 15-17, 2010)
• PC Chair, The Seventh Asian Symposium on Programming Languages and Systems
  (APLAS 2009, Seoul, Korea, December 14-16, 2009)
• PC Co-Chair Sixth Asian Workshop on Foundations of Software
  (AWFS 2009, National Institute of Informatics, Tokyo, Japan, April 6-8, 2009)
• Co-Organizer, GRACE International Meeting on Bidirectional Transformations
  (Shonan Village Center, Japan, 14-18 December, 2008)
• Oganizer: Workshop on Parallelism Oblivious Programming
  (POP 2007, University of Tokyo, July 26-27, 2007)
• 運営委員長: 日本ソフト ウエア科学会第23回大会
  (University of Tokyo, Tokyo, September 13-15, 2006)
• PC Co-Chair: The Second DIKU-IST Joint Workshop on Foundations of Software
  (DIKU-IST 2006, Shonan Village Center, Kanagawa, April 21-22, 2006)
• PC Co-Chair: The First DIKU-IST Joint Workshop on Foundations of Software
  (DIKU-IST 2005, Copenhagen, Denmark, September 23-24, 2005)
• Co-Organizor, The Fourth Workshop on Programmable Structured Documents
  (University of Tokyo, Tokyo, Japan, December 7-9, 2005)
• Organizer: The Third Workshop on Programmable Structured Documents
  (Yokohama, Japan, January 26-28, 2005)
• Organizer: The Second Workshop on Programmable Structured Documents
  (PSD 2004, Hakone, Japan, February 20-22, 2004)
• Organizer: 第一回プログラミングおよびプログラミング言語サマースクール
  (PPL Summer School 2003, 2003年9月15日（月）午後2時〜9月16日（火）の正午, 愛知県立大学)
• Organizer: Workshop on Robust Software Construction
  (WRSC 2003, Hayama, Kanagawa, February 28 -- March 2, 2003)
• PC Chair: The Third Asian Workshop on Programming Languages and Systems
  (APLAS 2002, Shanghai, China, November 29 - December 1, 2002)
• PC Chair: Sixth International Symposium on Functional and Logic Programming
  (FLOPS 2002, Aizu, Japan, September 15-17, 2002)
• Local Arrangements Chair: Fifth International Symposium on Functional and Logic Programming
  (FLOPS 2001, Waseda, Japan, March 7-9, 2001)
• Organizer: The 5th Program Transformation Workshop
  (PTW 2001, Yokohama, Japan, March 15 - 16, 2001)
• Organizer: The 3rd Program Transformation Workshop
  (PTW 2000, Hakone, Japan, March 15 - 17, 2000)
• PC Chair: 第1回プログラミングおよびプログラミング言語ワークショップ
  (PPL'99, 1999年3月17日-19日, 熱川ハイツ 静岡県・熱川温泉)

Invited/Keynote Talks in Conferences/Workshops

• Invited Talk: DSL Engineering via Lifting Transformation
  The 18th International Symposium on Theoretical Aspects of Software Engineering
  (TASE 2024, Guiyang, China, July 29 - Auguest 1, 2024)
• Invited Talk: Constructive Bidirectional Programming
  22nd International Symposium on Trends in Functional Programming
  (TFP 2021, January 15, 2021)
• Keynote Talk: Dependable Bidirectional Programming
  27th Asia-Pacific Software Engineering Conference
  (APSEC 2020, Singapore, December 1-4, 2020)
• Invited Talk: Dependable Bidirectional Programming
  4th Working Formal Methods Symposium
  (FROM 2020, September 4-6, 2020)
• Keynote Talk: On Verification of Bidirectional Transformations
  20th International Conference on Formal Engineering Methods
  (ICFEM 2018, Gold Coast, Australia, Nov. 12-16, 2018)
• Keynote Talk: Verification of Roundtrip Property in Bidirectional Programming
  3rd National Symposium on Formal Method
  (FMAC 2018, Chongqing, China, Nov. 3-4, 2018)
• Invited Talk: Can Programming be Liberated from Unidirectional Style?
  Fourteenth International Symposium on Functional and Logic Programming
  (FLOPS 2018, Nagoya, Japan, May 9-11, 2018)
• Keynote Talk: Can Programming be Liberated from Unidirectional Style?
  GRACE Symposium 2017 – Next Ten Years of Software Engineering
  (GRACE 2017, Tokyo, Japan, December 20, 2017).
• Keynote Talk: Bidirectional Programming and Software Adaptation: Towards a Happy Marriage
  The 9th International Conference on Knowledge and Systems Engineering
  (KSE 2017, Hue, Vietnam, October 19-21, 2017)
• Keynote Talk: Bidirectional Transformation in Practice
  17th IEEE International Working Conference on Source Code Analysis and Manipulation
  (SCAM 2017, Shanghai, China, September 17-18, 2017)
• Lecturer: Principle and Practice of Bidirectional Programming in BiGUL
  Summer School on Bidirectional Transformations
  (BX Summer School 2016, Lady Margaret Hall, Oxford, July 25-29, 2016)
• Invited Talk: What is the Essense of Bidirectional Programming?
  12th Asian Symposium on Programming Languages and Systems
  (APLAS 2014, Singapore, November 17-19, 2014)
• Keynote Talk: Validity Checking of Putback Transformation in Bidirectional Programming
  19th International Symposium on Formal Methods
  (FM 2014, Singapore, May 12-16, 2014)
• Invited Talk: Stepping Back to Leap Forward: Putback-based Approach to Dependable Bidirectional Programming
  3rd International Symposium on High Confidence Software
  (ISHCS 2013, Peking, China, December 21-22, 2013)
• Keynote Talk: Programming Bidirectional Transformation Robustly and Intentionally
  3rd Asian Workshop on Advanced Software Engineering
  (AWASE 2013, Singapore, July 20-21, 2013)
• Invited Talk: Pratical Aspects of Bidirectional Graph Transformations
  ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
  (PEPM'13, Rome, Italy, January 21-22, 2013)
• Invited Talk: On Deterministic Bidirectional Transformations
  2nd International Symposium on High Confidence Software
  (ISHCS 2012, Qingdao, China, October 29-30, 2012)
• Invited Talk: Can Graph Transformation be Bidirectionalized? -- Bidirectional Semantics of Structural Recursion on Graphs --
  6th International Workshop on Higher-Order Rewriting
  (HOR 2012, NAgoya, Japan, June 2, 2012)
• Invited Talk: Bidirectional Model Transformation for High-Confidence Software Evolution
  International Symposium on High Confidence Software
  (ISHCS 2011, Peking, China, December 16-17, 2011)
• Invited Talk: Introduction to Calculational Programming
  Japan-Vietnam Workshop on Software Engineering 2010
  (JVSE 2010, Hanoi, Vietnam, December 9-10, 2010)
• Invited Lecture: Introduction to Calculational Programming
  BASICS Summer School on Types and Programming Languages
  (BASICS 2010, Hangzhou, China, October 12-16, 2010)
• Keynote Speech: Calculational Parallel Programming
  Fourth International Workshop on High-level Parallel Programming and Applications
  (HLPP 2010, Baltimore, Maryland, September 25, 2010)
• Keynote Speech: Bidirectional Computation for Software Engineering
  National Software and Application Conferene
  (NASAC 2008, Guanzhou, China, 12-13 November, 2008)
• Invited Talk: Calculating Divide-and-Conquer Parallel Algorithms
  Fifth Asian Workshop on Foundations of Software
  (AWFS 2007, Xiamen, China, 1-3 June, 2007)
• Invited Paper: A Library of Constructive Skeletons for Sequential Style of Parallel Programming
  First International Conference on Scalable Information Systems
  (InfoScale 2006, Hong Kong, 29 May - 1 June, 2006)
• Invited Lecture: Program Optimizations and Transformations in Calculational Form
  Summer School on Generative and Transformational Techniques in Software Engineering
  (GTTSE 2005, Braga, Portugal, 4 - 8 July, 2005)
• Invited Talk: Optimization of Skeletal Parallel Programs
  3rd International Workshop on Constructive Methods for Parallel Programming
  (CMPP 2002, Dagstuhl, Germany, 1 July 2002)
• 招待講演: 構成的手法によるアルゴリズムの導 出
  第83回アルゴリズム研究会
  (ALG83, Dagstuhl, Germany, 1 July 2002)
• Invited Paper: Calculation Carrying Programs: How to Code Program Transformations
  International Symposium on Principles of Software Evolution
  (ISPSE 2000, Kanazawa, Japan, 1-2 November 2000)

PC Members of Conferences/Workshops

• PC Member, 53rd ACM SIGPLAN Symposium on Principles of Programming Languages
  (POPL 2026, Rennes, France, January 11-17, 2026)
• PC Member (associate Chair), International Conference on Object-oriented Programming, Systems, Languages, and Applications
  (OOPSLA 2025, Singapore, October 12-28, 2025)
• PC Member, The 2025 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  (PEPM 2025, Denver, Colorado, United States, January 21, 2025)
• PC Member, 26th International Symposium on Trends in Functional Programming
  (TFP 2025, Oxford, UK, January 13-16, 2025)
• PC Member, 28th ACM SIGPLAN International Conference on Functional Programming
  (ICFP 2023, Seattle, USA, September 5-7, 2023)
• PC Member, 5oth ACM SIGPLAN Symposium on Principles of Programming Languages
  (POPL 2023, Boston, Massachusetts, USA, January 15-21, 2023)
• PC Member, 20th Asian Symposium on Programming Languages and Systems
  (APLAS 2022, Auckland, New Zealand, Decmber 5-10, 2022)
• PC Member, International Conference on Software Language Engineering
  (SLE 2022, Auckland, New Zealand, Decmber 5-10, 2022)
• PC Member, 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems
  (SEAMS 2022, Pittsburgh, USA, May 18-20, 2022)
• PC Member, 16th International Symposium on Functional and Logic Programming
  (FLOPS 2022, May 10-12, 2022)
• PC Member, European Symposium on Programming
  (ESOP 2021, Luxembourg, March 27 - April 1, 2021)
• Chair of MIP Award Committee, 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
  (SEAMS 2020, Seoul, South Korea on May 25-26, 2020)
• PC Member, 15th International Symposium on Functional and Logic Programming
  (FLOPS 2020, Akita, Japan, April 23-25, 2020)
• PC Member, 21st International Symposium on Principles and Practice of Declarative Programming
  (PPDP 2019, Porto, Portugal, October 7-9, 2019)
• PC Member, 23rd symposium on Formal Methods
  (FM 2019, Porto, Portugal, October 7-11, 2019)
• PC Member, 13th International Conference on Mathematics of Program Construction
  (MPC 2019, Porto, Portugal, October 7-9, 2019)
• PC Member, 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems
  (SEAMS 2019, Montreal, Canada, May 25-26, 2019)
• PC Member, 46th ACM SIGPLAN Symposium on Principles of Programming Languages
  (POPL 2019, Cascais, Portugal, January 13-17, 2019)
• PC Member, 20th International Conference on Formal Engineering Methods
  (ICFEM 2018, Gold Coast, Australia, November 12-16, 2018)
• ERC Member, ACM International Conference on Functional Programming 2018
  (ICFP 2018, St. Louis, Missouri, United States, September 23-28, 2018)
• PC Member, ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
  (MODELS 2018, Copenhagen, Denmark, October 14-19, 2018)
• PC Member, 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
  (SEAMS 2018, Gothenburg, Sweden, May 28-29, 2018)
• PC Members, 6th International Workshop on Green and Sustainable Software
  (GREENS 2018, Gothenburg, Sweden, May 27, 2018)
• PC Member, Live Adaptation of Software SYstems 2018
  (LASSY 2018, Nice, France, April 10, 2018)
• PC Member, 21st International Conference on Fundamental Approaches to Software Engineering
  (FASE 2018, Thessaloniki, Greece, April 14-21, 2018)
• PC Member, 34th IEEE International Conference on Data Engineering
  (ICDE 2018, Paris, France, April 16-20, 2018)
• PC Member, 6th ACM SIGPLAN Workshop on Functional High-Performance Computing>
  (FHPC 2017, Oxford, UK, Deptember 7, 2017)
• PC Member, Ninth Asia-Pacific Symposium on Internetware
  (Internetware 2017, Shanghai, China, September 23, 2017)
• PC Member, 13th European Conference on Modelling Foundations and Applications
  (ECMFA 2017, Marburg, Germany, July 19-20, 2017)
• PC Member, PEPM 2017 Workshop on Partial Evaluation and Program Manipulation
  (PEPM 2017, Paris, January 16-17, 2017)
• ERC Member, 21st ACM SIGPLAN International Conference on Functional Programming
  (ICFP 2016, Nara, Japan, September 19-21, 2017)
• PC Member, ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems
  (MODELS 2016, Saint Malo, France, October 2-7, 2017)
• PC Member, 10th International Symposium on Theoretical Aspects of Software Engineering
  (TASE 2016, Shanghai, China, July 17-19, 2016)
• PC Member, 9th International Conference on Model Transformation
  (ICMT 2016, Vienna, Austria, July 4-8, 2016)
• PC Member, Fifth International Workshop on Bidirectional Transformations
  (BX 2016, Eindhoven, The Netherlands, April 8, 2016)
• Scientific Committee Member, GTTSE Summer School 2015
  (GTTSE 2015, Braga, Portugual, August 23-29, 2015)
• PC Member, 27th Symposium on Implementation and Applicaiton of Functional Languages
  (IPL 2015, Koblenz, Germany, September 14-16, 2015)
• PC Member, 8th ACM SIGPLAN International Conference on Software Language Engineering
  (SLE 2015, Pittsburg, USA, Oxford, UK, October 25-27, 2015)
• PB (Program Board) Member, 18th ACM/IEEE International Conference
  (MODELS 2015, Ottawa, Canada, September 30 - October 2, 2015)
• PC Member, 12th International Conference on Mathematics of Program Construction
  (MPC 2015, Oxford, UK, June 29 - July 1, 2015)
• PC Member, 4th International Workshop on Green and Sustainable Software
  (GREENS 2015, Firene, Italy, May 18, 2015)
• ERC Member, 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  (POPL 2015, India, January 11-18, 2015)
• PC Member, 19th ACM SIGPLAN International Conference on Functional Programming
  (ICFP 2014, Gothenburg, Sweden, September 1 – 3, 2014)
• PC Member, 17th ACM/IEEE International Conference
  (MODELS 2014, Valencia, Spain, September 28 - October 3, 2014)
• PC Member, 11th International Colloquium on Theoretical Aspects of Computing
  (ICTAC 2014, Bucharest, Romania, September 17-20, 2014)
• PC Member, 24th International Symposium on Logic-Based Program Synthesis and Transformation
  (LOPSTR 2014, Canterbury, UK, September 10-11, 2014)
• PC Member, European Conference on Modelling Foundation and Applications 2014
  (ECMFA 2014, York, United Kingdom, July 21-25, 2014)
• PC Member, 23rd European Symposium on Programming
  (ESOP 2014, Grenoble, France, April 7-9, 2014)
• PC Member, Third International Workshop on Bidirectional Transformations
  (BX 2014, Athens, Greece, March 28th, 2014)
• PC Member, ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
  (PEPM 2014, San Diego, USA, January 20-21, 2014)
• PC Member, ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems
  (MODELS 2013, Florida, USA, September 29 to October 4, 2013)
• PC Member, 6th International Conference on Software Language Engineering
  (SLE 2013, Indianapolis, USA, October 2013)
• PC Member, 10th International Colloquium on Theoretical Aspects of Computing
  (ICTAC 2013, Shanghai, China, September 04 - 06, 2013)
• PC Member, 6th International Conference on Model Transformation
  (ICMT 2013, Budapest, Hungary, June 18 - 19, 2013)
• PC Member, The Fourth Asia-Pacific Symposium on Internetware
  (Internetware 2012. Qingdao, China, October 30-31, 2012)
• PC Member, ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems
  (MODELS 2012, Innsbruck, Austria from September 30 to October 5, 2012))
• PC Member, 5th International Conference on Software Language Engineering
  (SLE 2012, Dresden, Germany Setpember 25-28, 2012)
• PC Member, International Colloquium on Theoretical Aspects of Computing 2012
  (ICTAC 2012, Bangalore, India, Setpember 24-27, 2012)
• PC Member, ACM SIGPLAN Workshop on Functional High Performance Computing
  (FHPC 2012, Copenhagen, Denmark, September 15th, 2012)
• PC Member, ACM SIGPLAN Haskell Symposium 2012
  (Haskell 2012, Copenhagen, Denmark, September 13, 2012)
• PC Member, 24th Symposium on Implementation and Application of Functional Languages
  (IFL 2012, Oxford, UK, August 30 - September 1, 2012)
• PC Member, 1st Workshop on the Verification and Validation of Model Transformations
  (VOLT 2012, Montreal, Quebec, Canada, April 21, 2012)
• PC Member, 12th International Workshop on Language Descriptions, Tools, and Applications
  (LDTA 2012, Tallinn, Estonia, March 31 - April 1, 2012)
• PC Member, Workshop on High-Level Programming for Heterogeneous and Hierarchical Parallel Systems
  (HLPGPU 2012, Paris, France, January 23-25, 2012)
• PC Member, 13th International Conference on Formal Engineering Methods
  (ICFEM 2011, Durham, United Kingdom, October 25-28, 2011)
• PC Member, ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems
  (MODELS 2011, Wellington, New Zealand, October 16-21, 2011)
• PC Member, 4th International Symposium on Application of Graph Transformation with Industrial Relevance
  (AGTIVE 2011, Budapest, Hungary, October 4-7, 2011)
• PC Member, 4th Summer School on Generative and Transformational Techniques in Software Engineering
  (GTTSE 2011, Braga, Portugal, July 3-9, 2011)
• PC Member, 4th International Conference on Software Language Engineering
  (SLE 2011, Braga, Portugal, July 3-6, 2011)
• PC Member, International Conference on Model Transformation
  (ICMT 2011, Zurich, Switzerland, June 27 - July 1, 2011)
• PC Member, 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
  (5th BT-in-ABC, Xi'an, China, May 17-19, 2011)
• PC Member, 26th Symposium on Applied Computing (SE Track)
  (SAC 2011 (SE Track), TaiChung, Taiwan, March 21-24, 2011)
• PC Member, ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation
  (PEPM 2011, Austin, Texas, USA, January 24-25, 2011)
• PC Member, Second Asia-Pacific Symposium on Internetware
  (Internetware 2010, Suzhou, China, November 3-4, 2010)
• PC Member, ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems
  (MODELS 2010, Oslo, Norway, October 3-8, 2010)
• PC Member, The 10th International Conference on Quality Software
  (QSIC 2010, Zhangjiajie, China, July 14–15, 2010)
• PC Member, International Conference on Model Transformation 2010
  (ICMT 2010, Malaga, Spain, June 28, 2010 - July 2, 2010)
• PC Member, 2nd International Workshop on Model Transformation with ATL
  (MtATL 2010, Malaga, Spain, June 30, 2010)
• PC Member, 10th International Conference on Mathematics of Program Construction
  (MPC 2010, Quebec City, Canada, June 21-23, 2010)
• PC Member, The Seventh Asian Workshop on Foundation of Software
  (AWFS 2010, Beihang University, Beijing, China May 14-16, 2010)
• PC member, ACM/IEEE 12th International Conference On Model Driven Engineering Languages And Systems
  (MoDELS 2009, Denver, Colorado, USA, October 4-9, 2009)
• PC member, 25th IEEE International Conference on Software Maintenance
  (ICSM 2009, Edmonton, Alberta, Canada, October 20-26, 2009)
• PC member, The First Asia-Pacific Symposium on Internetware
  (Internetware 2009, Beijing, China, October 17-18, 2009)
• PC member, 日本ソフトウェア科学会第26回大会
  (島根大学, 2009年9月16日(水)〜18日(金))
• Scientic Committee member, 3rd Summer School on Generative and Transformational Techniques in Software Engineering
  (GTTSE 2009, Braga, Portugal, July 6-11, 2009)
• PC member, Reversible Computation 2009
  (RC 2009, York, UK, March 22, 2009)
• PC member, 13th ACM SIGPLAN International Conference on Functional Programming
  (ICFP 2008, Victoria, British Columbia, Canada, September 22-24, 2008)
• PC member, 9th International Symposium on Functional and Logic Programming
  (FLOPS 2008, Ise, Japan April 14-16, 2008)
• Scientific Committee member, 2nd Summer School on Generative and Transformational Techniques in Software Engineering
  (GTTSE 2007, Braga, Portugal, July 2-7 2007)
• PC member, 12th IEEE International Conference on Engineering of Complex Computer
  (ICECCS'07, Auckland, NZ, July 11-14 2007)
• PC member, Third Fourth International Workshop on Practical Aspects of High-level Parallel Programming
  (PAPP 2007, University of Beijing, China, May 27-30, 2007)
• PC member, 第9 回プログラミングおよびプログラミング言語ワークショップ
  (PPL 2007, Ishikawa Prefecture, Japan, March 8-10, 2007)
• PC member, 5th International Conference on Generative Programming and Component Engineering
  (GPCE 2006, Portland, Oregon, USA, October 22-26, 2006)
• PC member, Third International Workshop on Practical Aspects of High-level Parallel Programming
  (PAPP 2006, University of Reading, UK, May 28-31, 2006)
• PC member, 5th International Workshop on Constructive Methods for Parallel Programming
  (CMPP 2006, Kuressaare (Baltic Sea), Estonia, July 2, 2006)
• PC member: Fourth International Conference on Generative Programming and Component Engineering
  (GPCE 2005, Tallinn, Estonia, Sept 29 - Oct 1, 2005)
• PC member: 日本ソフトウェア科学会第22回大会
  (JSSST 2005, 仙台，2005 年9月13日(火)〜15日(木))
• PC member: The 29th Annual International Computer Software and Applications Conference
  (COMPSAC 2005, Edinburgh, Scotland, July 25-28, 2005)
• PC member: Second International Workshop on Practical Aspects of High-level Parallel Programming
  (PAPP 2005, Atlanta, USA, May 22-25, 2005)
• PC member: Third International Workshop on High-level Parallel Programming and Applications
  (HLPP 2005, July 2005)
• PC member: The 2004 International Conference on Functional Programming
  (ICFP 2004, Snowbird, Utah, September 19-22, 2004)
• PC member: Workshop on Practical Aspects of High-level Parallel Programming
  (PAPP 2004, Krakow, Poland, June 7-9, 2004)
• PC member: 13th International Workshop on Functional and (Constraint) Logic Programming
  (WFLP 2004, Aachen, June 1 - 2, 2004)
• PC member: 4th International Workshop on Constructive Methods for Parallel Programming
  (CMPP 2004, Stirling, Scotland, UK, 14 - 15 July 2004)
• PC member: The First Asian Symposium on Programming Languages and Systems
  (APLAS 2003, Beijing, China. November 27-29, 2003)
• PC member: Sixth International Conference on Mathematics of Program Construction
  (MPC 2002, Dagstuhl, Germany, 8-10 July 2002)
• PC member: 第４回プログラミングおよびプログラミング言語ワークショップ
  (PPL 2002, 2002年3月5日〜3月7日, 別府 杉乃井ホテル)
• PC member: 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
  (PEPM 2002, Portland, Oregon, USA, January 14-15, 2002)
• PC member: 4th International Symposium on Theoretical Aspects of Computer Software
  (TACS 2001, Sendai, Japan, October 29-31, 2001)
• PC member: 第3回プログラミングおよびプログラミング言語ワークショップ
  (PPL 2001, 2001年3月21日（水）〜3月23日（金）, 亀岡ハイツ)
• PC member: Fifth International Conference on Mathematics of Program Construction
  (MPC 2000, Pente de Lima, Portugal, July 3-5, 2000)
• PC member: 第2回プログラミングおよびプログラミング言語ワークショップ
  (PPL 2000, 2000年3月20日〜２２日, 遠鉄ホテルエンパイア)
• PC member: Fourth International Conference on Mathematics of Program Construction
  (MPC '98, Marstrand, Sweden, June 15 - 17, 1998)