posted by system || 19397 views || tracked by 39 users: [display]

SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: http://www.iist.unu.edu/sefm2010
 
When Sep 13, 2010 - Sep 17, 2010
Where Pisa, Italy
Submission Deadline Mar 22, 2010
Categories    software engineering   theoretical computer science
 

Call For Papers

[Empty]

Related Resources

IEEE-PEESE 2026   2026 IEEE International Conference on Power, Electrical and Energy Systems Engineering (PEESE 2026)
Ei/Scopus-AI2A 2026   2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
SOICT 2026   The 15th International Symposium on Information and Communication Technology
ICSE 2027   The 49th International Conference on Software Engineering
SOFEA 2026   12th International Conference on Software Engineering and Applications
AIMLM 2026   2026 International Conference on Artificial Intelligence, Machine Learning and Multimodality
MLDS 2026   7th International Conference on Machine Learning Techniques and Data Science
ACM WSSE 2026   ACM--2026 The 8th World Symposium on Software Engineering (WSSE 2026)
SEMIT 2026   7th International Conference on Software Engineering and Managing Information Technology