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

SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
VSTTE 2025   Verified Software: Theories, Tools, Experiments
Ei/Scopus- CCRIS 2025   2025 IEEE 6th International Conference on Control, Robotics and Intelligent System (CCRIS 2025)
CIFEr 2026   IEEE Computational Intelligence in Financial Engineering and Economics
ICMVA 2025   IEEE--2025 The 8th International Conference on Machine Vision and Applications (ICMVA 2025)
SPIE SPRA 2026   SPIE--2026 6th Symposium on Pattern Recognition and Applications (SPRA 2026)
AIAT 2025   2025 5th International Conference on Artificial Intelligence and Application Technologies (AIAT 2025)
CSPE 2026   IEEE--2026 International Conference on Computational Science and Power Engineering (CSPE 2026)