WS-FMDS 2014 September 2, 2014, France

WorkShop on
Formal
Methods in the
Development of
Software

Welcome to WS-FMDS 2014

4th Workshop on Formal Methods
in the Development of Software

 

Keynote Speaker

Radu Mateescu chairman of the Formal Methods for Industrial Critical Systems (FMICS), Working Group of the European Research Consortium for Informatics and Mathematics (ERCIM). SEFM 2014 Conference Chair.

  • Creative Commons License, by Laurent Espitallier

    Venue

    September 2nd, 2014, Grenoble, France

  • SEFM 2014

    SEFM 2014

    Co-located with the 12th International Conference on Software Engineering and Formal Methods

    (SEFM 2014)

WS-FMDS 2014

Important Dates


  • June 15, 2014: Deadline for submission of papers
  • July 15, 2014: Notification to authors
  • July 30, 2014: Deadline for pre-proceedings camera-ready versions
  • September 2, 2014: WS-FMDS 2014
  • September 15, 2014: Deadline for post-proceedings camera ready