posted by system || 19697 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

ICTETS 2026   2026 10th International Conference on Traffic Engineering and Transportation System
Ei/Scopus-AI2A 2026   2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
CIIS 2026   2026 The 9th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2026)
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
IEEE-MLNLP 2026   2026 IEEE 9th International Conference on Machine Learning and Natural Language Processing (MLNLP 2026)
ACITY 2026   16thInternational Conference on Advances in Computing and Information Technology
IEEE SSCI 2027   2027 IEEE Symposium Series on Computational Intelligence
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
IEEE SMC 2027   IEEE International Conference on Systems, Man, and Cybernetics
IEEE-PEESE 2026   2026 IEEE International Conference on Power, Electrical and Energy Systems Engineering (PEESE 2026)