Research Activities (International conferencess)

• International Symposium on Automated Technology for Verification and Analysis
  
  • 20th ATVA 2022, PC (October 25-28, 2022, Beijing)  
    
  • 12th ATVA 2014, PC (November 3-7, 2014, Sydney)  
    
  • 11th ATVA 2013, PC co-chair (October 15-18, 2013, Hanoi),  
    
  • 5th ATVA 2007, PC (October 22-25, 2007, Tokyo)  
    
  
  
• IEEE International Conference on Research, Innovation and Vision for the Future  
  
  • RIVF 2015, General co-chair (January 25-28, Can Tho),  
    
  • RIVF 2013, PC co-chair (November 10-12, Hanoi),  
    
  • RIVF 2012, SE track chair (February 27-March 1, Ho Chi Minh)  
    
  • RIVF 2010, PC (July 1-4, 2010, Hanoi)  
    
  • RIVF 2009, PC (July 13-17, 2009, Da Nang),  
    
  • RIVF 2008, PC (July 13-17, 2008, Ho Chi Minh),  
    
  
  
• IEEE International Conference on Software Engineering and Formal Methods
  
  • 13th SEFM 2015, PC (September 7-11, York)  
    
  • 12th SEFM 2014, PC (September 1-5, Grenoble)  
    
  • 11th SEFM 2013, PC (September 25-27, Madrid)  
    
  • 10th SEFM 2012, PC (October 1-5, Thessaloniki)  
    
  • 9th SEFM 2011, PC (November, 14-18, 2011, Montevideo)  
    
  • 8th SEFM 2010, PC (September 13-18, 2010, Pisa)  
    
  • 7th SEFM 2009, PC (November 23-27, 2009, Hanoi)  
    
  
  
• International Conference on Knowledge and System Engineering  
  
  • 4th KSE 2012, PC (August 17-19, 2012, Danang, Vietnam)  
    
  
  
• International Colloquium on Theoretical Aspects of Computing
  
  • ICTAC 2011, PC (August 31-September 2, 2011, Johannesburg)  
    
  
  
• ACM ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation,  
  
  • ASIA-PEPM 2002   Local Chair