posted by user: jyotirmoy || 2876 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

FormaliSE 2021   9th International Conference on Formal Methods in Software Engineering
FM 2021   Formal Methods 2021
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
SEKE 2021   The Thirty Third International Conference on Software Engineering and Knowledge Engineering
ESOP 2021   30th European Symposium on Programming
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
F-IDE 2021   6th Workshop on Formal Integrated Development Environment