posted by user: jyotirmoy || 3976 views || tracked by 11 users: [display]

SEFM 2009 : software engineering and formal methods

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: http://www.iist.unu.edu/sefm2009/#dates
 
When Nov 23, 2009 - Nov 27, 2009
Where Hanoi
Abstract Registration Due May 15, 2009
Submission Deadline May 29, 2009
Notification Due Jul 17, 2009
Final Version Due Aug 7, 2009
 

Call For Papers

[Empty]

Related Resources

ICFEM 2024   International Conference on Formal Engineering Methods
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
ICCDE--EI 2025   2025 11th International Conference on Computing and Data Engineering (ICCDE 2025)
ICMLSC 2025   2025 The 9th International Conference on Machine Learning and Soft Computing (ICMLSC 2025)
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
BDPC 2025   2025 3rd International Conference on Big Data and Privacy Computing (BDPC 2025)
ICAASE 2024   The 6th Edition of the International Conference on Advanced Aspectsof Software Engineering
IPMV--EI 2025   2025 7th International Conference on Image Processing and Machine Vision (IPMV 2025)