Email Gateway (Aug 19 2022 at 14:33): Email Gateway (Aug 19 2022 at 14:33):From: lina.ye@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
####################################################################
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
####################################################################
Last updated: Apr 24 2024 at 12:33 UTC