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.