[TYPES/announce] Call for Papers: Workshops Colocated with SEFM 2014

[Lina Ye]

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. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140414/e93000f5/attachment-0001.html>