助研究員  |  穆信成       Professional activities   Conference Services Local Arrangement, The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011, Kenting, Taiwan (2011/12–2011/12) PC Co-Chair, Seventh Workshop on Generic Programming (WGP '11), Tokyo, Japan (2011/09–2011/09) Co-Chair, Shonan Meeting on Dependently Typed Programming, Shonan, Japan (2011/09–2011/09) Program Committee and Lecturer, 2010 Formosan Summer School on Logic, Language, and Computation (2010 「邏輯、語言與計算」暑期研習營暨碩士學分班, FLOLAC '10), Taipei, Taiwan (2010/02–2010/07) Organizing Commitee Member, 2008 Formosan Summer School on Logic, Language, and Computation (2008 「邏輯、語言與計算」暑期研習營暨碩士學分班, FLOLAC '08), Taipei, Taiwan (2008/02–2008/07) Program Committee and Lecturer , 2007 Formosan Summer School on Logic, Language, and Computation (2007 「邏輯、語言與計算」暑期研習營暨碩士學分班, FLOLAC '07), Taipei, Taiwan (2007/03–2007/07) TPC/PC Members Program Committee Member, First International Conference on Certified Programs and Proofs, Kenting, Taiwan (2011/12–2011/12) Program Committee Member, ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM '12), Philadelphia, Pennsylvania, USA (2011/10–2012/01) Program Committee Member, ACM SIGPLAN 6th Workshop on Generic Programming, Baltimore, USA (2010/06–2010/07) Program Committee Member, The Tenth International Conference on Mathematics of Program Construction (MPC '10), Manoir, St-Castin, Quebec, Canada (2009/12–2010/02) Program Committee Member, The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP '09), Edinburgh, United Kingdom (2009/03–2009/05) Program Committee Member, The 6th Asian Workshop on Foundations of Software (AWFS '09), Tokyo Japan (2008/12–2009/01) Program Committee Member, ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM '09), Savannah, Georgia, USA (2008/10–2008/11) Program Committee Member, The Ninth International Conference on Mathematics of Program Construction (MPC '08), Marseille , France (2007/09–2008/03) Program Committee Member, ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08), San Francisco, California, USA (2007/09–2007/11) Program Committee Member, The Fifth ASIAN Symposium on Programming Language and Systems (APLAS 2007), Singapore (2007/01–2007/08) Program Committee Member, The Eighth International Conference on Mathematics of Program Construction (MPC '06), Kuressaare, Estonia (2006–2006) Program Committee Member, 2006 Haskell Workshop, Portland, Oregon, USA (2005/12–2006/07) Referee for Journals Referee, Journal of Logic and Algebraic Programming (2011/05–2011/06) Referee, Science of Computer Programming (2011/04–2011/06) Referee, Frontiers of Computer Science in China (2009/11–2009/12) Referee, Journal of Functional Programming (2009/10–2009/11) Referee, Journal of Logic and Algebraic Programming (2009/01–2009/03) Referee, The New Generation Computing (2008/07–2008/08) Referee, Journal of Logic and Algebraic Programming (2007/06–2007/06) Referee, Journal of Information Science and Engineering (2006/12–2006/12) Referee for Conferences Referree, The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011 (2011/12–2011/12) Referee, The 8th ASIAN Symposium on Programming Languages and Systems (APLAS '10), Bejing, China (2010/06–2010/06) Referee, 18th European Symposium on Programming (ESOP '09), York, United Kingdom (2009/10–2009/11) Referee, ACM Symposium on Document Engineering 2009, Munich, Germany (2009/05–2009/05) Referee, The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS '08), Bangalore, India (2008/08–2008/08) Referee, The Ninth International Symposium on Functional and Logic Programming (FLOPS '08) (2007/11–2007/11) Referee, The 12th ACM SIGPLAN International Conference on Functional Programming (ICFP '07) (2007/05–2007/05) Membership Steering Committee Member, Workshop on Generic Programming (2011/09–2013/09) Member, IFIP Working Group 2.1 on Algorithmic Languages and Calculi (2010/01)