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

ICCEE--EI 2026   2026 The 19th International Conference on Computer and Electrical Engineering (ICCEE 2026)
IJCSES 2026   International Journal of Computer Science and Engineering Survey
IJCSEA 2026   International Journal of Computer Science, Engineering and Applications
IEEE ICACTE 2026   IEEE--2026 The 19th International Conference on Advanced Computer Theory and Engineering (ICACTE 2026)
IEEE ICCCI 2026   IEEE--2026 8th International Conference on Computer Communication and the Internet (ICCCI 2026)
Springer; Methods in Molecular Biology 2026   Digital Pathology - Methods and Protocols
EMNLP 2026   The 2026 Conference on Empirical Methods in Natural Language Processing
QRS 2026   The 26th International Conference on Software Quality, Reliability, and Security
ICACIT Symposium 2026   12th International Symposium on Accreditation of Engineering and Computing Education
SESBC 2026   7th International Conference on Software Engineering, Security and Blockchain