|
Research Fellow/Professor | Wang, Bow-Yaw |
|
|
|
|
|
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)
|
|
|
|
|
|
|
 |
|
|
|
|