中文版
English
研究員  |  陳郁方  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
others
Personal (New window)
 
 
 
 
 
Professional activities
 
TPC/PC Members
  1. PC member, The 15th Asian Symposium on Programming Languages and Systems (APLAS 2017), Suzhou, China (2017/11–2017/11)
  2. PC member, The 13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016), Taiwan (2016/10–2016/10)
  3. PC member, The 19th International Symposium on Formal Methods (FM 2014), Singapore (2014/05)
  4. PC member, The 11th Asian Symposium on Programming Languages and Systems (APLAS 2013), Melbourne, Australia (2013/12)
  5. PC member, The 14th International Workshop on Verification of Infinite-State Systems (Infinity 2012), Paris, France (2012/08)
  6. PC member, The 18th International Symposium on Formal Methods (FM 2012), Paris, France (2012/08)
  7. PC member, The 13th International Workshop on Verification of Infinite-State Systems (Infinity 2011), Taiwan (2011/09)
  8. Organizer/ Co-chair, The 12th International Workshop on Verification of Infinite-State Systems (Infinity 2010), Singapore (2010/09)
Referee for Conferences
  1. External Reviewer, 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011), Aachen, Germany (2011/09)
  2. External Reviewer, 23rd International Conference on Computer Aided Verification (CAV 2011), Utah, US (2011/07)
  3. External Reviewer, 16th International Conference on Implementation and Application of Automata (CIAA 2011), Blois, France (2011/07)
  4. External Reviewer, The 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011), Dortmund, Germany (2011/03)
  5. External Reviewer, The 12th International Conference on Formal Engineering Methods (ICFEM 2010), Shanghai, China (2010/11)
  6. External Reviewer, The 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China (2010/11)
  7. External Reviewer, The 9th International Conference on Automated Technology for Verification and Analysis (ATVA 2011), Taiwan (2010/10)
  8. External Reviewer, The 17th International SPIN Workshop on Model Checking of Software (SPIN 2010), Enschede, Netherlands (2010/09)
  9. External Reviewer, The 21st International Conference on Concurrency Theory (CONCUR 2010), Paris, France (2010/08)
  10. External Reviewer, The 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Edinburgh, UK (2010/07)
  11. External Reviewer, The 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), Paphos, Cyprus (2010/03)
 
 
bg