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