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

CONISOFT 2026   IEEE 14th International Conference on Software Engineering Research and Innovation
IEEE SEAI 2026   2026 IEEE the 6th International Conference on Software Engineering and Artificial Intelligence (SEAI 2026)
WCSE--EI 2026   2026 The 16th International Workshop on Computer Science and Engineering (WCSE 2026)
SEAI 2026   2026 IEEE the 6th International Conference on Software Engineering and Artificial Intelligence (SEAI 2026)
ACMLC 2026   2026 8th Asia Conference on Machine Learning and Computing (ACMLC 2026)
BDCI--EI 2026   2026 The 6th International Conference on Big Data and Computational Intelligence (BDCI 2026)
ICFCC 2026   2026 The 18th International Conference on Future Computer and Communication (ICFCC 2026)
ICCCI 2026   2026 8th International Conference on Computer Communication and the Internet (ICCCI 2026)
AIVR 2026   Springer--2026 10th International Conference on Artificial Intelligence and Virtual Reality (AIVR 2026)
Springer; Methods in Molecular Biology 2026   Digital Pathology - Methods and Protocols