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

SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
ICGDA 2025   2025 8th International Conference on Geoinformatics and Data Analysis (ICGDA 2025)
ICoSSE 2025   2025 8th International Conference on Software and System Engineering (ICoSSE 2025)
ICoSSE--Ei 2025   2025 8th International Conference on Software and System Engineering (ICoSSE 2025)
CETA 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
SBMF 2024   27th Brazilian Symposium on Formal Methods
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems