posted by user: jyotirmoy || 4314 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
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
HPCCT 2025   2025 the 9th High Performance Computing and Cluster Technologies Conference (HPCCT 2025)--ESCI
ICVARS 2025   ACM--2025 9th International Conference on Virtual and Augmented Reality Simulations (ICVARS 2025)
ICCCI--EI 2025   2025 7th International Conference on Computer Communication and the Internet (ICCCI 2025)
AIVR 2025   2025 9th International Conference on Artificial Intelligence and Virtual Reality (AIVR 2025)
ICFEM 2024   International Conference on Formal Engineering Methods
CST 2024   11th International Conference on Advances in Computer Science and Information Technology