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

SETTA 2025   11th Symposium on Dependable Software Engineering: Theories, Tools and Applications
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
AIAT 2025   2025 5th International Conference on Artificial Intelligence and Application Technologies (AIAT 2025)
IEEE ICMLT 2025   IEEE--2025 10th International Conference on Machine Learning Technologies (ICMLT 2025)
IEEE CRC 2025   IEEE--2025 10th International Conference on Control, Robotics and Cybernetics (CRC 2025)
ICSOFT 2025   20th International Conference on Software Technologies
IEEE-PSETC 2025   2025 IEEE International Power and Sustainable Energy Technologies Conference (PSETC 2025)
SOFT 2025   11th International Conference on Software Engineering
ASE 2025   The IEEE/ACM Automated Software Engineering Conference