posted by system || 13962 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
BIBC 2024   5th International Conference on Big Data, IOT and Blockchain
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
EEI 2024   10th International Conference on Emerging Trends in Electrical, Electronics & Instrumentation Engineering
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
MAT 2024   10th International Conference of Advances in Materials Science and Engineering
CAV 2025   37th International Conference on Computer Aided Verification
ERAS 2025   The 1st IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS)
SIGML 2025   6th International Conference on Signal Processing and Machine Learning