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

TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ACM NLPIR 2024   ACM--2024 8th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2024)
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
CAV 2025   37th International Conference on Computer Aided Verification
SIGML 2025   6th International Conference on Signal Processing and Machine Learning
ECSA 2025   19th European Conference on Software Architecture