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

CIIS 2026   2026 The 9th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2026)
SOICT 2026   The 15th International Symposium on Information and Communication Technology
SAMDE 2027   2027 6th International Symposium on Automation, Mechanical and Design Engineering
CoEEE 2027   2027 5th International Joint Conference on Energy and Environmental Engineering
ICCAEE 2027   2027 8th International Conference on Civil, Architectural and Environmental Engineering
Springer ICSED 2026   Springer--2026 8th International Conference on Software Engineering and Development (ICSED 2026)
ACM WSSE 2026   ACM--2026 The 8th World Symposium on Software Engineering (WSSE 2026)
Springer; Methods in Molecular Biology 2026   Digital Pathology - Methods and Protocols
MAEIE 2026   IEEE 2026 6th International Conference on Mechanical Automation and Electronic Information Engineering
CESST 2026   2026 3rd International Symposium on Civil Engineering and Smart Structure Technology