Fandom

Formal Methods Wiki

UML&FM'2010:

120pages on
this wiki
Add New Page
Talk0 Share
LOGO2010

The Third IEEE International workshop UML and Formal MethodsEdit

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

External links Edit

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.