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

ICoSSE 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
IEEE ICCMS 2026   IEEE--2026 The 18th International Conference on Computer Modeling and Simulation (ICCMS 2026)
SPIE CVIT 2026   SPIE--2026 7th International Conference on Computer Vision and Information Technology (CVIT 2026)
IJCSEA 2026   International Journal of Computer Science, Engineering and Applications
ICoSSE--Ei 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
SPIE ICCGV 2026   SPIE--2026 9th International Conference on Computer Graphics and Virtuality (ICCGV 2026)
Springer; Methods in Molecular Biology 2026   Digital Pathology - Methods and Protocols
SoSE 2026   21st Annual System of Systems Engineering Conference 2026
ACMME 2026   2026 The 14th Asia Conference on Mechanical and Materials Engineering (ACMME 2026)
ACMME--EI 2026   2026 The 14th Asia Conference on Mechanical and Materials Engineering (ACMME 2026)