Chinese
English
Research Fellow  |  Wang, Bow-Yaw  
 
contact
vita
education
experience
interests
descriptions
activities
supervised
 
 
 
 
 
Professional activities
 
TPC/PC Members
  1. PC Member, 9th India Software Engineering Conference, Goa, India (2015/10–2016/02)
  2. PC Member, 13th ASIAN Symposium on Programming Languages and Systems, Pohan, South Korea (2015/06–2015/12)
  3. PC Member, 13th International Symposium on Automated Technology for Verification and Analysis, Shanghai, China (2015/04–2015/11)
  4. PC Member, 30th Annual ACM/IEEE Symposium on Logic In Computer Science, Kyoto, Japan (2014/06–2015/04)
  5. PC Member, 12th International Symposium on Automated Technology for Verification and Analysis, Sidney, Australia (2014/04–2014/11)
  6. PC Member, French Singaporean Workshop on Formal Methods and Applications, Singapore (2014/03–2014/03)
  7. PC Member, 15th International Workshop on Verification of Infinite-State Systems, Vietnam (2013/06–2013/10)
  8. PC Member, Eleventh International Symposium on Automated Technology for Verification and Analysis, Vietnam (2013/05–2013/10)
  9. PC Member, The Eighteenth IEEE International Conference on Engineering of Complex Computer Systems, Singapore (2013/02–2013/07)
  10. PC Member, Second International Conference on Certified Programs and Proofs (CPP), Kyoto, Japan (2012/06–2012/12)
  11. PC Member, 10th Asian Symposium on Programming Languages and Systems (APLAS), Kyoto, Japan (2012/06–2012/12)
  12. PC Member, 16th International Conference on Developments in Language Theory (DLT), Taipei, Taiwan (2012/03–2012/08)
  13. PC Member, 6th International Joint Conference on Automated Reasoning (IJCAR), Manchester, UK (2012/01–2012/07)
  14. PC Member, 9th International Symposium on Automated Technology for Verification and Analysis (ATVA), Taipei, Taiwan (2011/04–2011/10)
  15. PC Member, Second International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Minori, Italy (2011/03–2011/06)
  16. PC Member, 23rd International Conference on Computer Aided Verification (CAV), Snowbird, Utah (2011/01–2011/07)
Referee for Conferences
  1. Referee, 18th International Conference on Developments in Language Theory, Ekaterinburg, Russia (2014/03–2014/03)
 
 
bg