posted by system || 20180 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 SSCI 2027   2027 IEEE Symposium Series on Computational Intelligence
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
20th IEEE MCSoC 2027   20th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-2027)
CAAIE 2027   7th Conference on Advanced Artificial Intelligence and Education
IEEE SMC 2027   IEEE International Conference on Systems, Man, and Cybernetics
IEEE-PEESE 2026   2026 IEEE International Conference on Power, Electrical and Energy Systems Engineering (PEESE 2026)
IEEE MLET 2027   IEEE--2027 International Conference on Modern Learning and Educational Technology (MLET 2027)
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
IEEE ICISPP 2027   IEEE--2027 8th International Conference on Information Security and Privacy Protection (ICISPP 2027)
IEEE ICBET 2027   IEEE--2027 17th International Conference on Biomedical Engineering and Technology (ICBET 2027)