SERA 2015: International Conference on Software Engineering Research, Management and Applications, May 13-15, 2015, Hammamet, Tunisia.
ATVA 2014: 12th International Symposium on Automated Technology for Verification and Analysis, November 3-7, 2014, Sydney, Australia.
SERA 2014: International Conference on Software Engineering Research, Management and Applications, August 31-September 4, 2014, Kitakyushu, Japan.
TAMC 2014: The 13th Theory and Applications of Models of Computation, April 11-13, 2014, Chennai, India.
ATVA 2013: The 11th International Symposium on Automated Technology for Verification and Analysis. October 15 - 18, 2013, Hanoi, Vietnam.
RIVF 2012: The 9th IEEE-RIVF International Conference on Computing and Telecommunication Technologies, Feb. 27 - Mar. 01, 2012, Ho Chi Minh City, Vietnam.
ATVA 2011: 9th International Symposium on Automated Technology for Verification and Analysis, October 14-17, 2011. Taipei, Taiwan.
TASE 2011: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, Aug 29-31, 2011. Xi'an, China.
RIVF 2010: The 2010 IEEE-RIVF International Conference on Computing and Telecommunication Technologies, Nov. 01-04, 2010, VNU, Hanoi, Vietnam
ICIS 2010: 9th IEEE/ACIS International Conference on Computer and Information Science. August 18-20, 2010, Kaminoyama (Yamagata), Japan.
ATVA 2010: 8th International Symposium on Automated Technology for Verification and Analysis, September 21-24 2010. Singapore.
ACSD 2010: 10th International Conference on Application of Concurrency to System Design. June 21-25, 2010. Braga, Portugal.
RIVF 2009: The 2009 IEEE-RIVF International Conference on Computing and Telecommunication Technologies, July 13-17, 2009, Da Nang City, Vietnam.
ATVA 2009: 7th International Symposium on Automated Technology for Verification and Analysis, October 14-16 2009. Macao SAR, China.
AWFS 2009: 6th Asian Workshop on Foundations of Software. March 30, 2009 - April 1, 2009, Tokyo, Japan.
ICIS 2009: 8th IEEE/ACIS International Conference on Computer and Information Science. June 1-3, 2009, Shanghai, China.
ACSD 2009: 9th International Conference on Application of Concurrency to System Design. July 1-3, 2009, Augsburg, Germany.
ATVA 2008: 6th International Symposium on Automated Technology for Verification and Analysis, October 20-23, 2008, Seoul, South Korea
APSEC 2008: 15th Asia-Pacific Software Engineering Conference, Dec 3-5, 2008, Beijing, China
TAMC 2008: 5th Annual Conference on Theory and Applications of Models of Computation, April 25-29, 2008. Xi'an, China.
ACSD 2008: 8th International Conference on Application of Concurrency to System Design. June 23-27, 2008. Xi'an, China.
ATVA 2007: 5th International Symposium on Automated Technology for Verification and Analysis October 22-25, 2007. Tokyo, Japan.
ICESS 2007: The 2007 International Conference on Embedded Software and Systems, 14-16 May 2007. Daegu, Korea.
ATVA 2006: 4th International Symposium on Automated Technology for Verification and Analysis October 23-26, 2006. Beijing, China.
ICFEM 2009: 11th International Conference on Formal Engineering Methods, December 9 -12, 2009. Rio de Janeiro.
APSEC 2009: 16th Asia-Pacific Software Engineering Conference, December 1-3, 2009, Penang, Malaysia.