posted by system || 19185 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 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
IEEE ICRE 2026   IEEE--2026 10th International Conference on Reliability Engineering (ICRE 2026)
ACM MLMI 2026   ACM--2026 The 9th International Conference on Machine Learning and Machine Intelligence (MLMI 2026)
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
IEEE ICIST 2026   IEEE--2026 The 5th International Conference on Intelligent Science and Technology (ICIST 2026)
ICSE 2027   The 49th International Conference on Software Engineering
Ei/Scopus-DSSE 2026   2026 International Conference on Data Science and Software Engineering (DSSE 2026)
IEEE AIxVR 2026   8th International Conference on Artificial Intelligence & extended and Virtual Reality
IEEE-PEESE 2026   2026 IEEE International Conference on Power, Electrical and Energy Systems Engineering (PEESE 2026)
ICITA 2026   21st International Conference on Information Technology and Application (ICITA)