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

ICoSSE 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
IEEE ICCMS 2026   IEEE--2026 The 18th International Conference on Computer Modeling and Simulation (ICCMS 2026)
Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
SPIE CVIT 2026   SPIE--2026 7th International Conference on Computer Vision and Information Technology (CVIT 2026)
ICIAI 2026   2026 the 10th International Conference on Innovation in Artificial Intelligence (ICIAI 2026)
SPIE ICCGV 2026   SPIE--2026 9th International Conference on Computer Graphics and Virtuality (ICCGV 2026)
ICoSSE--Ei 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
ACM ICCAI 2026   ACM--2026 12th International Conference on Computing and Artificial Intelligence (ICCAI 2026)
IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)