中文版
English
副研究員  |  莊庭瑞  
 
contact
vita
education
experience
interests
descriptions
activities
invited_talk
grants
publications
Personal (New window)
 
 
 
 
 
Professional activities
 
Conference Services
  1. Organizing Committee Member , 2016 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2016)
  2. Organizing Committee Member , 2015 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2015)
  3. International Organizing Committee, The 3rd international Linked Open Data in Libraries, Archives and Museums (LODLAM) Summit, Sydney, Australia (2015)
  4. Organizer, 2015 Joint Workshop on Open Data Research, Taipei, Taiwan (2015)
  5. PC Member, Linking Geospatial Data (Workshop organized by W3C and OGC), London, UK (2014)
  6. Organizing Committee Member , 2014 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2014)
  7. Member of International Scientific Programme Committee, The International Conference on Data Sharing and Integration for Global Sustainability (SciDataCon), New Delhi, India (2014)
  8. PC Member, 2013 International Symposium on Open Collaboration, Hong Kong (2013)
  9. Organizing Committee Member , 2013 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2013)
  10. PC member, FTfJP 2012: The 14th ECOOP Workshop on Formal Techniques for Java-like Programs, Beijing, China (2012)
  11. PC member, Workshop of Software Engineering and Programming Languages (International Computer Symposium 2012), Hualien, Taiwan (2012)
  12. PC member, TASE 2012: The 6th IEEE International Symposium on Theoretical Aspects of Software Engineering, Beijing, China (2012)
  13. Organizing Committee Member, 2012 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2012)
  14. Scientific Program Committee Member , CODATA 2012: The 23rd International CODATA Conference "Open Data and Information for a Changing Planet", Taipei, Taiwan (2012)
  15. General Chair, APLAS 2011: The 9th Asian Symposium on Programming Languages and Systems, Kenting, Taiwan (2011)
  16. Organizing Committee Chair, CPP 2011: The 1st International Conference on Certified Programs and Proofs, Kenting, Taiwan (2011)
  17. Organizing Committee Member, 2011 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2011)
  18. PC member, The 1st Workshop on Semantic Web Technologies for Libraries and Readers, Ottawa, Canada (2011)
  19. PC member, Workshop on Advanced and Usable Software , Taipei, Taiwan (2011)
  20. PC member, 16th Workshop on Compiler Techniques for High-Performance and Embedded Computing, Taipei, Taiwan (2010)
  21. Member of the Academic Program Committee, The 3rd Free Culture Research Conference, Berlin, Germany (2010)
  22. Organizing Committee Member, 2010 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2010)
  23. PC member, 15th Workshop on Compiler Techniques for High-Performance and Embedded Computing, Hsinchu, Taiwan (2009)
  24. Member of the Academic Program Committee, Free Culture Research Workshop 2009, Harvard, Massachusetts, USA (2009)
  25. Organizing Committee Member, 2009 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2009)
  26. Reviewer Panel Member, Balisage: The Markup Conference , Montréal, Canada (2009)
  27. Organizer, Symposium on Common Use Licensing of Publicly Funded Scientific Data and Publications, Taipei, Taiwan (2009)
  28. Organizer, Creative Commons Licenses Workshop — Policies and Technologies, in conjunction with 2009 TELDAP International Conference, Taipei, Taiwan (2009)
  29. PC member, TASE 2009: The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China (2009)
  30. PC member, FLOPS 2008: The 9th International Symposium on Functional and Logic Programming, Ise, Japan (2008)
  31. PC member, APLAS 2008: The 6th Asian Symposium on Programming Languages and Systems, Bangalore, India (2008)
  32. Member and Co-Chair of the Academic Program Committee, First Interdisciplinary Research Workshop on Free Culture, Sapporo, Japan (2008)
  33. PC member, DocEng 2004-2009: ACM Symposium on Document Engineering, Milwaukee, Wisconsin, USA (2004); Bristol, UK (2005); Amsterdam, Netherland (2006); Winnipeg, Canada (2007); Sao Paulo, Brazil (2008); Munich, Germany (2009) (2004–2009)
  34. PC member, APLAS 2003: The 1st Asian Symposium on Programming Languages and Systems, Beijing, China (2003)
  35. PC member, ASIA-PEPM 2002: Asia Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan (2002)
  36. Organizing Committee Member , 201˙7 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan
  37. Organizing Committee Member , 2017 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan
 
 
bg