Assistant Research Fellow/Professor  |  Chen, Liang-Ting       Professional activities   Conference Services Local organiser, Agda Implementors' Meeting XXXVII, Taipei, Taiwan (2023) Co-organiser, Formosan Summer School on Logic, Language, and Computation (FLOLAC), Taipei, Taiwan (2018–present) TPC/PC Members PC Member, International Conference on Types for Proofs and Programs (TYPES), Strathclyde, the United Kingdom (2025/06–2025/06) PC Member, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), Denver, Colorado, United States (2025/01–2025/01) SRC and Posters Selection Committee Member, Asian Symposium on Programming Languages and Systems (APLAS), Kyoto, Japan (2024) PC Member, Workshop on Mathematically Structured Functional Programming (MSFP), Tallinn, Estonia (2024) PC Member, The ACM SIGPLAN Haskell Symposium (Haskell), Seattle, WA, USA (2024) PC Member, ACM SIGPLAN International Conference on Functional Programming (ICFP), Seattle, Washington, United States (2023) PC Member, Workshop on Type-Driven Development (TyDe), Online (2021) Referee for Conferences External reviewer, 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP), London, United Kingdom (2024) External reviewer, 31st International Conference on Concurrency Theory, Vienna, Austria (2020) External reviewer, International Symposium on Principles and Practice of Declarative Programming (PPDP), Tbilisi, Georgia (Online) (2020) External reviewer, 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, California, United States (2018) External reviewer, ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), San Francisco, California, United States (2016) External reviewer, Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Kyoto, Japan (2015)