WS-FMDS 2013 September 24, 2013, Spain

WorkShop on
Formal
Methods in the
Development of
Software

Welcome to WS-FMDS 2013

3rd Workshop on Formal Methods in the Development of Software

  • Creative Commons License, by Antonio García

    Venue

    September 24, 2013, Madrid, Spain

  • QSIC 2011

    SEFM 2013

    Co-located with the 11th International Conference on Softaware Engineering and Formal Methods

    (SEFM 2013)

WS-FMDS 2013

Important Dates


  • June 15, 2013: Deadline for submission of papers
  • June 21, 2013: Deadline for submission of papers extended
  • July 22, 2013: Notification to authors
  • September 6, 2013: Deadline for camera-ready versions
  • September 24, 2013: WS-FMDS 2013