The Third IEEE International workshop UML and Formal Methods[]
http://www.artist-embedded.org/artist/UML-FM-2010.html
Workshop held in conjunction with ICFEM 2010
The 12th International Conference on
Formal Engineering Methods
http://www.sei.ecnu.edu.cn/icfem2010/
November 16th, 2010
Shanghai↑, China↑
Submission deadline: September 15th, 2010
To contribute, please send a position paper or a technical paper to agusti[dot]canals[at]c-s[dot]fr with “ICFEM 2010 UML&FM Workshop” in the title.
All the selected papers will be published in the ACM Software Engineering Notes (SEN), January 2011. Papers should not exceed 8 pages. Submitted manuscripts should be in English and formatted in the style of the SEN format . Preferably, submissions should be in PDF format.
Slides will be made available through the workshop website.
Notice that 7 papers will selected to be published after the workshop in a 2011 special issue of the SoSyM journal. The authors of the 7 best papers will be asked to send an extended version of their paper. These extended versions should not exceed 20 pages, must be based on the same results as the original but different. Submitted manuscripts should be in English and formatted in the style of the SoSyM Springer format. Preferably, submissions should be in PDF format. Please, follow the guidelines at the "Authors information" heading in the SoSyM website