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

[lina.ye at inria.fr]

Our apologies if you have received multiple copies.

####################################################################

SECOND CALL FOR PAPERS 

Five Workshops Colocated with SEFM 2014

Grenoble, France
September 1-2, 2014

http://sefm2014.inria.fr/


####################################################################

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.


####################################################################

WEB SITES AND IMPORTANT DATES

- 1st Workshop on Human-Oriented Formal Methods (HOFM 2014): From Readability to Automation
 
  For more details please see http://hofm2014.wordpress.com/

  Paper Submission:                     15 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 (MoKMaSD 2014): Systems and Domains

  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 (OpenCert 2014)

  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 International Workshop on Safety and Formal Methods (SaFoMe 2014)

  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
  Workshop Date:                 1  September, 2014

-----------------------------------------------------------------------------------

- 4th Workshop on Formal Methods in the Development of Software (WS-FMDS 2014)

  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
  Post-proceedings Final version:    15 September 2014
  Workshop Date:                     2 September, 2014

####################################################################