助研究員  |  柯向上       Professional activities   Conference Services Student research competition and posters chair, Asian Symposium on Programming Languages and Systems (APLAS), Taipei, Taiwan (2023) Website co-chair, Symposium on Principles of Programming Languages (POPL), online (2021) Programme co-chair, Workshop on Type-Driven Development (TyDe), online (2021) Website co-chair, Symposium on Principles of Programming Languages (POPL), New Orleans, Louisiana, United States (2020) Website chair, Symposium on Principles of Programming Languages (POPL), Cascais, Portugal (2019) Programme co-chair, International Workshop on Bidirectional Transformations (Bx), Philadelphia, Pennsylvania, United States (2019) Co-organiser, Formosan Summer School on Logic, Language, and Computation (FLOLAC), Taipei, Taiwan (2018–present) Programme co-chair, Workshop on Partial Evaluation and Program Manipulation (PEPM), Los Angeles, California, United States (2018) TPC/PC Members Programme committee member, Symposium on Principles of Programming Languages (POPL), Denver, Colorado, United States (2025) Student research competition and posters selection committee member, Asian Symposium on Programming Languages and Systems (APLAS), Kyoto, Japan (2024) Programme committee member, International Symposium on Trends in Functional Programming (TFP), South Orange, New Jersey, United States (2024) Programme committee member, International Conference on Certified Programs and Proofs (CPP), London, United Kingdom (2024) Programme committee member, European Symposium on Programming (ESOP), Luxembourg, Luxembourg (2024) Programme committee member, Asian Symposium on Programming Languages and Systems (APLAS), Kyoto, Japan (2024) Reviewing committee member, The Art, Science, and Engineering of Programming, Volume 6 (2022) Programme committee member, International Workshop on Bidirectional Transformations (Bx), Nantes, France (2022) Programme committee member, International Workshop on Bidirectional Transformations (Bx), online (2021) Student research competition programme committee member, International Conference on Functional Programming (ICFP), Jersey City, New Jersey, United States (2020) Programme committee member, International Symposium on Practical Aspects of Declarative Programming (PADL), New Orleans, Louisiana, United States (2020) Programme committee member, International Symposium on Principles and Practice of Declarative Programming (PPDP), Bologna, Italy (2020) Extended review committee member, International Conference on Functional Programming (ICFP), Berlin, Germany (2019) Programme committee member, Workshop on Type-Driven Development (TyDe), Berlin, Germany (2019) Artefact evaluation committee member, International Conference on Functional Programming (ICFP), St Louis, Missouri, United States (2018) Programme committee member, International Symposium on Functional and Logic Programming (FLOPS), Kochi, Japan (2016) Referee for Journals Referee, Journal of Logical and Algebraic Methods in Programming Referee, Journal of Functional Programming Referee, Science of Computer Programming Referee for Conferences External reviewer, Symposium on Logic in Computer Science (LICS), online (2021) External reviewer, International Conference on Mathematics of Program Construction (MPC), Porto, Portugal (2019) External reviewer, Symposium on Principles of Programming Languages (POPL), Cascais, Portugal (2019) External reviewer, Symposium on Principles of Programming Languages (POPL), Los Angeles, California, United States (2018) External reviewer, International Workshop on Bidirectional Transformations (Bx), Eindhoven, the Netherlands (2016) External reviewer, International Symposium on Haskell, Nara, Japan (2016) External reviewer, Workshop on Generic Programming (WGP), Gothenburg, Sweden (2014) External reviewer, International Conference on Functional Programming (ICFP), Gothenburg, Sweden (2014) External reviewer, International Symposium on Principles and Practice of Declarative Programming (PPDP), Madrid, Spain (2013) External reviewer, International Symposium on Haskell, Copenhagen, Denmark (2012) External reviewer, International Symposium on Functional and Logic Programming (FLOPS), Kobe, Japan (2012)