Electrical Engineering
¡@
Welcome Biography Research Teaching Publications Awards
Lab Professional Activities Research Projects Links
¡@
¡@

  Editorships

  • Editor: International Journal of Foundations of Computer Science (IJFCS).

  • Editor: Journal of Information Science and Engineering (JISE) 2000 - 2005.

  •  Editor: Science Development, National Science Council, Taiwan.

  • Guest Editor: Special issue on `Verification and Analysis of Infinite State Systems', International Journal of Foundations of Computer Science, Vol. 14, No. 4, August 2003 (co-edit with Farn Wang) .

  • Guest Editor: Special issue on `Graph Drawing', International Journal of Foundations of Computer Science, Vol. 17, No. 5,  2006   (co-edit with Seokhee Hong) .

  • Guest Editor: Special issue dedicated to  `CIAA 2006',  International Journal of Foundations of Computer Science, Vol. 18, No. 4, August  2007 (co-edit with Oscar H. Ibarra).

Program Committees

  • 15th International Conference on Implementation and Application of Automata (CIAA 2010), Winnipeg, Canada, 
August 12-15, 2010.

  • 2010 IEEE Pacific Visualization Symposium (PacificVis 2010), Taipei, Taiwan, March 2-5, 2010.

  • Workshop on Algorithms and Computation 2010 (WALCOM 2010),  Dhaka, Bangladesh,  February 10-12, 2010.

  • 20th International Symposium on Algorithms and Computation (ISAAC 2009),Hawaii, USA,  Dec. 16-18, 2009.  

  • 6th IFIP International Conference on Network and Parallel Computing (NPC 2009), Gold Coast, Australia, Oct. 19-21, 2009.

  •  14th International Conference on Implementation and Application of Automata (CIAA 2009), Sydney, Australia
July 14-17, 2009.

  • 3th Workshop on Reachability Problems (RP 2009), Paris,  France, September 23¡V25, 2009

  •  7th International Symposium on Automated Technology for Verification and Analysis (ATVA 2009), Macao SAR, China,  October 14-16, 2009.

  • 2009 IEEE Pacific Visualization Symposium (PacificVis 2009), Beijing, China, April 20-23, 2009.

  • 19th International Symposium on Algorithms and Computation (ISAAC 2008), Gold Coast, Australia, Dec. 15-17, 2008.

  • 6th International Symposium on Automated Technology for Verification and Analysis (ATVA 2008), Seoul, Korea, October 20-23, 2008.

  • 14th International Symposium on Pacific Rim Dependable Computing (PRDC 2008), Taipei, Taiwan,  December 15-17, 2008.

  • 2nd Workshop on Reachability Problems (RP 2008), University of Liverpool, Liverpool, UK, September 15¡V17, 2008.

  • 2nd International Conference on Language and Automata Theory and Applications (LATA 2008), Tarragona, Spain, March 13-19, 2008.

  • 2008 IEEE VGTC Pacific Visualization Symposium (PacificVis 2008;   formerly named Asian-Pacific Symposium on Information  Visualization, APVIS), Kyoto, Japan, March 5-7, 2008.

  • Workshop on Algorithms and Computation 2008 (WALCOM 2008),  Dhaka, Bangladesh,  February 7-8, 2008.

  • 12th International Conference on Implementation and Application of Automata ( CIAA 2007), Prague, Czech Republic, July  16-18, 2007.

  • 13th International Symposium on Pacific Rim Dependable Computing (PRDC 2007), Melbourne, Australia, December 17-19, 2007.

  • 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Tokyo, Japan, October 22-25, 2007.

  • 15th International Symposium on Graph Drawing (GD 2007), September 24-26, 2007, Sydney,  Australia.

  • 2007 Workshop on Resource Management and Scheduling, in conjunction with ICPADS 2007, Hsin-Chu, Taiwan,  December 5-7, 2007.

  • The 2007 International Workshop on Smart Living Space, in conjunction with 2007 International Conference on Multimedia and Ubiquitous Engineering (MUE 2007), April 26-28, 2007, Seoul, Korea. (PC co-Chair).

  • Workshop on Algorithms and Computation-2007, Feb. 12, 2007,  Bangladesh.

  • Asia Pacific Symposium on   Visualization (APVIS 2007),  Feb. 5-7, 2007, Sydney, Australia.

  • 1st International Conference on Language and Automata Theory and Applications (LATA 2007), Tarragona, Spain, March 29 - April 4, 2007

  • 12th IEEE Symposium on Pacific Rim Dependable Computing (PRDC 2006), Riverside, CA, USA, Dec. 18-20, 2006.

  • 4th international symposium on Automated Technology for Verification and Analysis (ATVA 2006), Beijing, China,  October 23-26,  2006.

  • 11th International Conference on Implementation and Application of Automata (CIAA 2006), Taipei, Taiwan, August 21-23, 2006. (PC co-Chair).

  • 10th International Conference on Developments in Language Theory (DLT 2006), Santa Barbara, CA, USA,  June 26-29, 2006.  

  • Asia Pacific Symposium on Information Visualization ( APVIS  2006), Tokyo, Japan, Feb. 1-3, 2006.

  • Tenth International Conference on Implementation and Application of Automata (CIAA 2005), Sophia Antipolis, France, June 27-29, 2005.

  • Third  Int'l Symp. on Automated Technology for Verification and Analysis (ATVA 2005 ) National Taiwan University, Taipei, Taiwan, Oct.  2005.

  • 25th IFIP  Formal Techniques for Networked and Distributed Systems (FORTE 2005), Taiwan, Oct. 2-5, 2005.

  • 2005 Pacific Rim International Symposium on Dependable Computing  (PRDC 2005), Changsha, China on Dec. 12-14, 2005.

  • 2005 Asia Pacific Symposium on Information Visualisation  (APVIS 2005), Sydney, Australia,  January 27 - 29, 2005.

  • Second Int'l Symp. on Automated Technology for Verification and Analysis (ATVA 2004 ) National Taiwan University, Taipei, Taiwan, Oct. 31 -- Nov. 3, 2004.  (Organizing Chair)

  • 2004 International Symposium on Algorithms and Computation (ISAAC 2004), Hong Kong, December 20-22, 2004.

  • Ninth International Conference on Implementation and Application of Automata (CIAA 2004), Kingston, Ontario, Canada, July 22-24, 2004

  • First Int'l Workshop on Automated Technology for Verification and Analysis, (ATVA Workshop) National Taiwan University, Taipei, Taiwan, 10-13 December, 2003. (Organizing Chair)

  •  Eighth International Conference on Implementation and Application of Automata ( CIAA 2003), Santa Barbara, CA, USA, July 16-18, 2003

  •  International Computer Symposium 2002 (ICS 2002) -- Workshop on Algorithms and Computational Molecular Biology, Taiwan. December 18-21, 2002.

  •  2002 International Computing and Combinatorics Conference (CoCoon 2002) Singapore, August 15-17, 2002.

  •  2000 Workshop on Algorithm and Theory of Computation (held in conjunction with ICS 2000)

  • 2000 International Workshop on Distributed System Validation and Verification ( DSVV'2000; held in conjunction with ICDCS 2000)

  • 1998 ASIAN Computing Science Conference (ASIAN 1998), Manila, The Philippines, 1998.

  • 1998 International Symposium on Algorithms and Computation ( ISAAC 1998), Taejon, Korea, 1998.

¡@

Others

¡@

¡@