
<html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div><br></div><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><span style="font-size: 12pt;" data-mce-style="font-size: 12pt;">Our apologies if you have received multiple copies.</span></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">####################################################################</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">CALL FOR PAPERS</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">Five Workshops Colocated with SEFM 2014</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">Grenoble, France<br>September 1-2, 2014</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><span class="Object" id="OBJ_PREFIX_DWT854_com_zimbra_url" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT867_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT973_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT986_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><a href="http://sefm2014.inria.fr/" target="_blank" style="color: #336699; text-decoration: none; cursor: pointer;" data-mce-href="http://sefm2014.inria.fr/" data-mce-style="color: #336699; text-decoration: none; cursor: pointer;">http://sefm2014.inria.fr/</a></span></span></span></span></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">####################################################################</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">WEB SITES AND IMPORTANT DATES</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">- 1st Workshop on Human-Oriented Formal Methods: From Readability to Automation<br><br>This workshop aims to bring together researchers, engineers and practitioners <br>from academia and industry to baseline the state of the art in the increasingly <br>important domain: applications of human factors to the analysis and to the <br>optimization of formal methods area. It also aims to develop a future vision <br>and roadmap of usability and automation, focusing especially on readability <br>and ease of use. <br><br>For more details please see <span class="Object" id="OBJ_PREFIX_DWT855_com_zimbra_url" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT868_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT974_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT987_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><a href="http://hofm2014.wordpress.com/" target="_blank" style="color: #336699; text-decoration: none; cursor: pointer;" data-mce-href="http://hofm2014.wordpress.com/" data-mce-style="color: #336699; text-decoration: none; cursor: pointer;">http://hofm2014.wordpress.com/</a></span></span></span></span></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">Paper Submission: 10 June, 2014<br>Notification of Acceptance: 5 July, 2014<br>Post-proceedings Final version: 15 September 2014<br>Workshop Date: 1 September, 2014</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">--------------------------------------------------------------------------------</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">- 3rd International Symposium on Modelling and Knowledge Management <br>applications: Systems and Domains<br><br>The aim of the Symposium is to bring together practitioners and<br>researchers from academia, industry, government and non-government<br>organisations to present research results and exchange experience,<br>ideas, and solutions for modelling and analysing complex systems<br>and using knowledge management strategies, technology and systems<br>in various domain areas (e.g., ecology, biology, medicine, climate, <br>economy, governance, education and social software engineering) <br>that address problems of sustainable development.</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">For more details please see <span class="Object" id="OBJ_PREFIX_DWT856_com_zimbra_url" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT869_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT975_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT988_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><a href="http://www.di.unipi.it/mokmasd/symposium-2014/index.html" target="_blank" style="color: #336699; text-decoration: none; cursor: pointer;" data-mce-href="http://www.di.unipi.it/mokmasd/symposium-2014/index.html" data-mce-style="color: #336699; text-decoration: none; cursor: pointer;">http://www.di.unipi.it/mokmasd/symposium-2014/index.html</a></span></span></span></span></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">Paper Submission: <span class="Object" id="OBJ_PREFIX_DWT857_com_zimbra_date" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;">6 June 2014</span><br>Notification of Acceptance: <span class="Object" id="OBJ_PREFIX_DWT858_com_zimbra_date" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;">5 July 2014</span><br>Pre-proceedings Final version: <span class="Object" id="OBJ_PREFIX_DWT859_com_zimbra_date" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;">31 July 2014</span><br>Post-proceedings Final version: 15 September 2014<br>Symposium Date: 2 September 2014</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">-------------------------------------------------------------------------------</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">- 8th International Workshop on Foundations and Techniques for Open <br>Source Software Certification</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">The aim of this workshop is to bring together researchers from Academia <br>and Industry who are broadly interested in 1) the quality assessment of <br>the open source software projects, and 2) metrics, procedures, and tools <br>that could be useful in assessing and qualifying individual participation <br>and collaboration patterns in the open source software communities.</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">For more details please see <span class="Object" id="OBJ_PREFIX_DWT860_com_zimbra_url" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT873_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT979_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT992_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><a href="http://www.di.unipi.it/opencert/workshop-2014/" target="_blank" style="color: #336699; text-decoration: none; cursor: pointer;" data-mce-href="http://www.di.unipi.it/opencert/workshop-2014/" data-mce-style="color: #336699; text-decoration: none; cursor: pointer;">http://www.di.unipi.it/opencert/workshop-2014/</a></span></span></span></span></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">Paper Submission: <span class="Object" id="OBJ_PREFIX_DWT861_com_zimbra_date" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;">6 June 2014</span><br>Notification of Acceptance: <span class="Object" id="OBJ_PREFIX_DWT862_com_zimbra_date" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;">11 July 2014</span><br>Notification of Early Registration: <span class="Object" id="OBJ_PREFIX_DWT863_com_zimbra_date" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;">15 July 2014</span><br>Pre-proceedings Final version: <span class="Object" id="OBJ_PREFIX_DWT864_com_zimbra_date" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;">31 July 2014</span><br>Post-proceedings Final version: 15 September 2014<br>Workshop Date: 1 September 2014</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">-------------------------------------------------------------------------------</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">- 1st Workshop on Safety and Formal Methods</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">Formal methods have traditionally been advocated for improving the reliability <br>of safety-relevant systems. The SaFoMe workshop aims to provide a forum for <br>people from academia and industry to communicate their latest results on <br>theoretical advances, industrial case studies, and lessons learned in the <br>application of formal methods to safety certification, verification and/or <br>validation in (but not limited to) component-based systems.</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">For more details please see <span class="Object" id="OBJ_PREFIX_DWT865_com_zimbra_url" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT878_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT984_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT997_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><a href="http://babel.ls.fi.upm.es/safome2014/" target="_blank" style="color: #336699; text-decoration: none; cursor: pointer;" data-mce-href="http://babel.ls.fi.upm.es/safome2014/" data-mce-style="color: #336699; text-decoration: none; cursor: pointer;">http://babel.ls.fi.upm.es/safome2014/</a></span></span></span></span></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">Abstract Submission: 23 May, 2014<br>Paper Submission: 30 May, 2014<br>Notification of Acceptance: 30 June, 2014<br>Camera-ready Paper Due: 15 July, 2014<br>Registration deadline: 15 July, 2014<br>Workshop Date: 1 September, 2014</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">-----------------------------------------------------------------------------------</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">- 4th Workshop on Formal Methods in the Development of Software</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">The aim of WS-FMDS is to bring together scientists and practitioners who are <br>active in the area of formal methods and interested in exchanging their <br>experiences in the industrial usage of these methods. This workshop also <br>strives to promote research and development for the improvement of theoretical <br>aspects of formal methods and tools focused on practical usability for <br>industrial applications.</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">For more details please see <span class="Object" id="OBJ_PREFIX_DWT866_com_zimbra_url" style="color: #336699; cursor: pointer;" data-mce-style="color: #336699; cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT879_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT985_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><span class="Object" id="OBJ_PREFIX_DWT998_com_zimbra_url" style="cursor: pointer;" data-mce-style="cursor: pointer;"><a href="http://antares.sip.ucm.es/ws-fmds2014/" target="_blank" style="color: #336699; text-decoration: none; cursor: pointer;" data-mce-href="http://antares.sip.ucm.es/ws-fmds2014/" data-mce-style="color: #336699; text-decoration: none; cursor: pointer;">http://antares.sip.ucm.es/ws-fmds2014/</a></span></span></span></span></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">Paper Submission: 23 May, 2014<br>Notification of Acceptance: 9 June, 2014<br>Camera-ready Paper Due: 20 June, 2014<br>Workshop Date: 1-2 September, 2014</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">####################################################################</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">PUBLICATION</p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;"><br></p><p style="background-color: #fdfdfd; margin: 0px;" data-mce-style="background-color: #fdfdfd; margin: 0px;">All accepted papers will be published by Springer in a volume of LNCS.<br>Condition for inclusion in the post-proceedings is that at least one<br>of the co-authors has presented the paper at the workshop.</p></div></body></html>