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

ICCCS 2027   IEEE--2027 12th International Conference on Computer and Communication Systems (ICCCS 2027)
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
ICSTE 2026   2026 16th International Conference on Software Technology and Engineering (ICSTE 2026)
AIDDS 2026   12th International Conference on AI Driven Data Systems
IEEE ICMSS 2027   IEEE--2027 the 11th International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS 2027)
CAAIE 2027   7th Conference on Advanced Artificial Intelligence and Education
IEEE ICCCS 2027   IEEE--2027 12th International Conference on Computer and Communication Systems (ICCCS 2027)
IWMEN 2026   11th International Conference on Intelligent Wireless, Mobile and Edge Networks
ICSTE--EI 2026   2026 16th International Conference on Software Technology and Engineering (ICSTE 2026)
AIMLNET 2026   6th International conference on AI, Machine Learning in Communications and Networks