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

ADON 2018   International Workshop on Anomaly Detection ON the Cloud and the Internet of Things
ESEM 2019   Empirical Software Engineering and Measurement
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
ICCPR--Ei and Scopus 2019   2019 8th International Conference on Computing and Pattern Recognition (ICCPR 2019)--Ei Compendex and Scopus
FormaliSE 2019   7th International Conference on Formal Methods in Software Engineering
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
FCT 2019   22nd Symposium on Fundamentals of Computation Theory