Zhenjiang Hu's Academic Activities

Editors of Academic Journals

• Science of Computer Programming (Elsevier): Editorial Board Member (2013-)
• Software and Systems Modeling (Springer): Editorial Board Member (2013-)
• New Generation Computing (Springer): Planning Committe Member (2006-)
• 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-)
• ACM International Conference on Functional Programming (ICFP): Steering Committee Member (2009-)
• 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)
• Asian Association for Foundation of Software: Executive Committee Member (2003-)
• 日本ソフトウェア 科学会 プログラミング論研究会: 運営委員会メンバー (2002-2005), (2009-)
• 日本ソフトウェア 科学会 プログラミング論研究会: 主査 (1999-2002)

Chairs/Organizers of Conferences/Workshops

• Academic Committee Chair, NII Shonan Meetings
  (The First Dagstuhl-like seminars in Asia)
• 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 Talks (Papers) of Conferences/Workshops

• 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, 23rd European Symposium on Programming
  (ESOP 2014, Grenoble, France, April 7-9, 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)