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

IEEE CSEE 2026   IEEE--2026 The 7th International Conference on Computer Science, Engineering, and Education (CSEE 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)
CCAT 2026   2026 5th International Conference on Computer Applications Technology (CCAT 2026)
CSAI 2026   ACM--2026 The 10th International Conference on Computer Science and Artificial Intelligence (CSAI 2026)
BIOSE 2026   9th International Conference on Bioscience & Engineering
ICTETS 2026   2026 10th International Conference on Traffic Engineering and Transportation System
MECN 2026   7th International Conference on Mechanical Engineering
ICITA 2026   21st International Conference on Information Technology and Application (ICITA)
IEEE-MLNLP 2026   2026 IEEE 9th International Conference on Machine Learning and Natural Language Processing (MLNLP 2026)