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

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)
ADON 2018   International Workshop on Anomaly Detection ON the Cloud and the Internet of Things
SBMF 2018   21st Brazilian Symposium on Formal Methods
ESEC/FSE 2019   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
FACS 2018   15th International Conference on Formal Aspects of Component Software
IEEE--ICCSN--Ei and Scopus 2019   IEEE--2019 11th International Conference on Communication Software and Networks (ICCSN 2019)--Ei Compendex, Scopus
ICSE Student Volunteers 2019   International Conference on Software Engineering 2019 Student Volunteers