posted by system || 19990 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 ICNCC 2026   IEEE--2026 The 15th International Conference on Networks, Communication and Computing (ICNCC 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)
AICM--EI 2026   2026 International Conference on Artificial Intelligence and Computational Modeling (AICM 2026)
IEEE-MLNLP 2026   2026 IEEE 9th International Conference on Machine Learning and Natural Language Processing (MLNLP 2026)
ICITA 2027   22nd International Conference on Information Technology and Application (ICITA)
20th IEEE MCSoC 2027   20th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-2027)
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
IEEE SSCI 2027   2027 IEEE Symposium Series on Computational Intelligence
IEEE ICSRS 2026   IEEE--2026 The 10th International Conference on System Reliability and Safety (ICSRS 2026)