posted by system || 16143 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
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
IEEE CCAI 2026   IEEE--2026 6th International Conference on Computer Communication and Artificial Intelligence (CCAI 2026)
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
CIFEr 2026   IEEE Computational Intelligence in Financial Engineering and Economics
IEEE- CCRIS 2025   2025 IEEE 6th International Conference on Control, Robotics and Intelligent System (CCRIS 2025)
ICIST 2026   2026 The 5th International Conference on Intelligent Science and Technology (ICIST 2026)
AIAT 2025   2025 5th International Conference on Artificial Intelligence and Application Technologies (AIAT 2025)
IEEE ICCRE 2026   IEEE--2026 11th International Conference on Control and Robotics Engineering (ICCRE 2026)
IEEE EECR 2026   IEEE--2026 12th International Conference on Electrical Engineering, Control and Robotics (EECR 2026)