posted by user: jyotirmoy || 1977 views || tracked by 11 users: [display]

SEFM 2009 : software engineering and formal methods


Conference Series : Software Engineering and Formal Methods
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


Related Resources

SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
FM 2018   22nd International Symposium on Formal Methods
ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering
LICS 2018   Logic in Computer Science
ICSE 2019   International Conference on Software Engineering
CONCUR 2018   29th International Conference on Concurrency Theory
ICESS 2018   The Fourth International Conference on Electronics and Software Science
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
icaase 2018   International Conference on Advanced Aspects of Software Engineering
IEEE--ISCMI--EI Compendex and Scopus 2018   2018 IEEE 5th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2018)--EI Compendex and Scopus