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

Ei/Scopus-AI2A 2026   2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
SOENG 2026   12th International Conference on Software Engineering
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
AMLA 2026   7th International Conference on Advanced Machine Learning
ICSE 2027   The 49th International Conference on Software Engineering
IEEE SSCI 2027   2027 IEEE Symposium Series on Computational Intelligence
Ei/Scopus-DSSE 2026   2026 International Conference on Data Science and Software Engineering (DSSE 2026)
IEEE-MLNLP 2026   2026 IEEE 9th International Conference on Machine Learning and Natural Language Processing (MLNLP 2026)
ICITA 2026   21st International Conference on Information Technology and Application (ICITA)
IEEE AIxVR 2026   8th International Conference on Artificial Intelligence & extended and Virtual Reality