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