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

IOP-RICAS 2027   2027 International Conference on Robotics, Intelligent Control and Autonomous Systems (RICAS 2027)
CAAIE 2027   7th Conference on Advanced Artificial Intelligence and Education
IEEE SSCI 2027   2027 IEEE Symposium Series on Computational Intelligence
IJESA 2026   International Journal of Embedded Systems and Applications
20th IEEE MCSoC 2027   20th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-2027)
ICAIES 2027   2027 International Conference on Artificial Intelligence for Engineering Systems (ICAIES 2027)
Ei/Scopus/CPCI-ICRPA 2027   2027 International Conference on Robot Perception and Automation (ICRPA 2027)
ICIAI 2027   2027 the 11th International Conference on Innovation in Artificial Intelligence (ICIAI 2027)
IEEE SMC 2027   IEEE International Conference on Systems, Man, and Cybernetics
IEEE MLET 2027   IEEE--2027 International Conference on Modern Learning and Educational Technology (MLET 2027)