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

ACM AICCC 2026   ACM--2026 9th Artificial Intelligence and Cloud Computing Conference (AICCC 2026)
Ei/Scopus-AI2A 2026   2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
ICoIAS 2026   IEEE--2026 the 8th International Conference on Intelligent Autonomous Systems (ICoIAS 2026)
IJCSES 2026   International Journal of Computer Science and Engineering Survey
ICSE 2027   The 49th International Conference on Software Engineering
IJCSEA 2026   International Journal of Computer Science, Engineering and Applications
Ei/Scopus-DSSE 2026   2026 International Conference on Data Science and Software Engineering (DSSE 2026)
ICCIA 2026   2026 11th International Conference on Computational Intelligence and Applications (ICCIA 2026)
IJFCST 2026   International Journal on Foundations of Computer Science & Technology