|
|
|
|
Professional activities |
|
Conference Services- Organizing Committee Member , 2016 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2016)
- Organizing Committee Member , 2015 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2015)
- International Organizing Committee, The 3rd international Linked Open Data in Libraries, Archives and Museums (LODLAM) Summit, Sydney, Australia (2015)
- Organizer, 2015 Joint Workshop on Open Data Research, Taipei, Taiwan (2015)
- PC Member, Linking Geospatial Data (Workshop organized by W3C and OGC), London, UK (2014)
- Organizing Committee Member , 2014 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2014)
- Member of International Scientific Programme Committee, The International Conference on Data Sharing and Integration for Global Sustainability (SciDataCon), New Delhi, India (2014)
- PC Member, 2013 International Symposium on Open Collaboration, Hong Kong (2013)
- Organizing Committee Member , 2013 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2013)
- PC member, FTfJP 2012: The 14th ECOOP Workshop on Formal Techniques for Java-like Programs, Beijing, China (2012)
- PC member, Workshop of Software Engineering and Programming Languages (International Computer Symposium 2012), Hualien, Taiwan (2012)
- PC member, TASE 2012: The 6th IEEE International Symposium on Theoretical Aspects of Software Engineering, Beijing, China (2012)
- Organizing Committee Member, 2012 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2012)
- Scientific Program Committee Member , CODATA 2012: The 23rd International CODATA Conference "Open Data and Information for a Changing Planet", Taipei, Taiwan (2012)
- General Chair, APLAS 2011: The 9th Asian Symposium on Programming Languages and Systems, Kenting, Taiwan (2011)
- Organizing Committee Chair, CPP 2011: The 1st International Conference on Certified Programs and Proofs, Kenting, Taiwan (2011)
- Organizing Committee Member, 2011 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2011)
- PC member, The 1st Workshop on Semantic Web Technologies for Libraries and Readers, Ottawa, Canada (2011)
- PC member, Workshop on Advanced and Usable Software , Taipei, Taiwan (2011)
- PC member, 16th Workshop on Compiler Techniques for High-Performance and Embedded Computing, Taipei, Taiwan (2010)
- Member of the Academic Program Committee, The 3rd Free Culture Research Conference, Berlin, Germany (2010)
- Organizing Committee Member, 2010 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2010)
- PC member, 15th Workshop on Compiler Techniques for High-Performance and Embedded Computing, Hsinchu, Taiwan (2009)
- Member of the Academic Program Committee, Free Culture Research Workshop 2009, Harvard, Massachusetts, USA (2009)
- Organizing Committee Member, 2009 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan (2009)
- Reviewer Panel Member, Balisage: The Markup Conference , Montréal, Canada (2009)
- Organizer, Symposium on Common Use Licensing of Publicly Funded Scientific Data and Publications, Taipei, Taiwan (2009)
- Organizer, Creative Commons Licenses Workshop — Policies and Technologies, in conjunction with 2009 TELDAP International Conference, Taipei, Taiwan (2009)
- PC member, TASE 2009: The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China (2009)
- PC member, FLOPS 2008: The 9th International Symposium on Functional and Logic Programming, Ise, Japan (2008)
- PC member, APLAS 2008: The 6th Asian Symposium on Programming Languages and Systems, Bangalore, India (2008)
- Member and Co-Chair of the Academic Program Committee, First Interdisciplinary Research Workshop on Free Culture, Sapporo, Japan (2008)
- 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)
- PC member, APLAS 2003: The 1st Asian Symposium on Programming Languages and Systems, Beijing, China (2003)
- PC member, ASIA-PEPM 2002: Asia Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan (2002)
- Organizing Committee Member , 201˙7 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan
- Organizing Committee Member , 2017 Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan
|
|
|
|
|
|
|
 |
|
|
|
|