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).

  • Guest Editor: Special issue dedicated to  `ISAAC 2009',  International Journal of Foundations of Computer Science, Vol. 21,  No. 6.  2010 (co-edit with Oscar H. Ibarra).

  • Guest Editor: Special issue dedicated to  `DLT 2012',  International Journal of Foundations of Computer Science,  2013 (co-edit with Oscar H. Ibarra).

Steering Committees

  • International conference on Implementation and Application of Automata (CIAA)

  • International Symposium on Automated Technology for Verification and Analysis (ATVA),

Program Committees

  • 11th Int'l Workshop on Algorithms and Computation (WALCOM 2017) Hsin-Chu Taiwan, March  29V31,  2017. (Program Co-Chair)

  • 27th International Symposium on Algorithms and Computation (ISAAC 2016), Sydney, Australia,   December 12 - 14, 2016. 

  • 2016 IEEE Pacific Visualization Symposium (PacificVis 2016), Taipei, Taiwan, April 12 - 15, 2016. (Organizing Co-Chair)

  • 21st International conference on Implementation and Application of Automata (CIAA 2016),  July 19 - 22, 2016, Seoul, South Korea.

  • 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2016),  Hong Kong, December 16-18, 2016.

  • Asian Conference on Membrane Computing (ACMC 2016),   Bangi, Selangor, Malaysia,  Nov. 14-16, 2016.

  • 9th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2015),  Houston, Texas, USA, December 18-20, 2015.

  • Asian Conference on Membrane Computing (ACMC 2015),  Hefei, Anhui, China,  Nov. 12-15, 2015.

  • 19th International Conference on Developments in Language Theory (DLT 2015),   Liverpool, UK, July 27-30, 2015.

  • 20th International conference on Implementation and Application of Automata (CIAA 2015),  Umeå, Sweden,  August 18 V 21,  2015.

  • 2015 IEEE Pacific Visualization Symposium (PacificVis 2015), Hangzhou, China, April 14 - 17, 2015.

  • 9th Int'l Workshop on Algorithms and Computation (WALCOM 2015) Dhaka, Bangladesh, February  26V28,  2015.

  • 25th International Symposium on Algorithms and Computation (ISAAC 2014), Jeonju, Korea,   December 15 - 17, 2014. 

  • 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2014),  Maui, Hawaii, December 19-21, 2014. 

  • 18th International Conference on Developments in Language Theory (DLT 2014),  Ekaterinburg, Russia,   August 26-29,  2014.

  • 19th International conference on Implementation and Application of Automata (CIAA 2014Giessen, Germany, July 30 - August 2, 2014.

  • 22nd International Symposium on Graph Drawing (GD 2014), Würzburg, Germany, September 24-26, 2014.

  • 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014), Sydney, Australia,  Nov.  3-7,  2014. 

  • 14th International Conference Automata and Formal Languages (AFL 2014), Szeged, Hungary, May 27-29, 2014.

  • Asian Conference on Membrane Computing (ACMC 2014),  Coimbatore, India.  September 18-19, 2014.

  • 2014 IEEE Pacific Visualization Symposium (PacificVis 2014), Yokohama, Japan,  March 4-7, 2014.

  • Workshop on Algorithms and Computation 2014 (WALCOM 2014) Chennai, India, February 13-15, 2014.

  • 18th International conference on Implementation and Application of Automata (CIAA 2013), Halifax, Canada, July 16-19, 2013.

  • Asian Conference on Membrane Computing (ACMC 2013),  Nov. 4V7,  2013,  Cheng-Du,  China.

  • 17th International Conference on Developments in Language Theory (DLT 2013),  Marne-la-Vallée, France,   June 18-21,  2013.

  • 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013), Hanoi, Vietnam,  Oct.  15-18,  2013. 

  • 7th Workshop on Reachability Problems (RP 2013), Uppsala, Sweden,  Sept. 25V29, 2013.

  • 4th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2013), Borca di Cadore, Italy, August 29 - 31, 2013.

  • 2013 IEEE Pacific Visualization Symposium (PacificVis 2013), Sydney, Australia, February 27 - March 1, 2013.

  • 16th International Conference on Developments in Language Theory (DLT 2012),  Taipei, Taiwan,  August 14-17,  2012. (PC co-Chair).

  • 6th Workshop on Reachability Problems (RP 2012), Bordeaux, France, Sept. 17V19, 2012.

  • 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012), Kerala, India,  Oct.  3-6,  2012. 

  • 23rd International Symposium on Algorithms and Computation (ISAAC 2012), Taipei, Taiwan,   December 19 - 21, 2012. 

  • Asian Conference on Membrane Computing (ACMC 2012),  October 15V18,  2012,  Wuhan,  China.

  • 17th international conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal, July 17-20, 2012.

  • Workshop on Algorithms and Computation 2012 (WALCOM 2012) Dhaka, Bangladesh,  February 15-17, 2012.

  • 5th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2011),  Zhangjiajie, China, August 4-6, 2011, 

  • 15th International Conference on Developments in Language Theory (DLT 2011), Milan, Italy,  July 19 - 22, 2011.  

  • 16th International Conference on Implementation and Application of Automata (CIAA 2011), Blois, France, July 12-16, 2011.

  • 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011), Taipei,  Oct.  14-17,  2011. 

  • 15th  International Conference Information Visualisation (IV 2011) , London, UK,  July 13-15,  2011.

  • 4th Asian Association for Algorithms and Computation (AAAC 2011), Hsin-Chu, Taiwan, April 16-17, 2011.

  • 5th Workshop on Reachability Problems (RP 2011), Genova, Italy, Sept. 28V30, 2011.

  • 21st International Symposium on Algorithms and Computation (ISAAC 2010), Jesu  Island, South Korea,  Dec. 9-11, 2010. 

  • 4th Workshop on Reachability Problems (RP 2010), Brno,  Czech Republic, August 27V29, 2010.

  • 14th  International Conference Information Visualisation (IV 2010) , London, UK,  26, 27-29 July 2010.

  • 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2010), August 25 - 27, 2010, Taipei, Taiwan, ROC.  

  • 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Singapore,  Sept. 21-24, 2010.

  • 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, AustraliaJuly 14-17, 2009.

  • 3rd Workshop on Reachability Problems (RP 2009), Paris,  France, September 23V25, 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 15V17, 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

@

@