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 #################################################################### ------------------------------------------------------------------------------ The best possible search technologies are now affordable for all companies. Download your FREE open source Enterprise Search Engine today! Our experts will assist you in its installation for $59/mo, no commitment. Test it for FREE on our Cloud platform anytime! http://pubads.g.doubleclick.net/gampad/clk?id=145328191&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
