中文版
English
助研究員  |  陳亮廷  
 
contact
education
experience
interests
activities
invited_talk
honors
publications
Personal (New window)
 
 
 
 
 
Professional activities
 
Conference Services
  1. Local organiser, Agda Implementors' Meeting XXXVII, Taipei, Taiwan (2023)
  2. Co-organiser, Formosan Summer School on Logic, Language, and Computation (FLOLAC), Taipei, Taiwan (2018–present)
TPC/PC Members
  1. PC Member, Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia (2024)
  2. PC Member, The ACM SIGPLAN Haskell Symposium 2024, Seattle, WA, USA (2024)
  3. SRC and Posters Selection Committee Member, Asian Symposium on Programming Languages and Systems (APLAS), Kyoto, Japan (2024)
  4. PC Member, 28th ACM SIGPLAN International Conference on Functional Programming, Seattle, Washington, United States (2023)
  5. PC Member, Workshop on Type-Driven Development 2021, Online (2021)
Referee for Conferences
  1. External reviewer, 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, London, United Kingdom (2024)
  2. External reviewer, 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia (Online) (2020)
  3. External reviewer, 31st International Conference on Concurrency Theory, Vienna, Austria (2020)
  4. External reviewer, 45th ACM SIGPLAN Symposium on Principles of Programming Languages, Los Angeles, California, United States (2018)
  5. External reviewer, 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, San Francisco, California, United States (2016)
  6. External reviewer, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan (2015)
 
 
bg