WS-FMDS July 13-14, 2011, Spain

WorkShop on
Formal
Methods in the
Development of
Software

Welcome to WS-FMDS.

1st Workshop on Formal Methods in the Development of Software

  • UCM

    Dates

    July 13-14, 2011, Universidad Complutense de Madrid, Spain

  • QSIC 2011

    QSIC 2011

    Co-located with the 11th International Conference On Quality Software.

    (QSIC 2011)

WS-FMDS 2011.

Important Dates


  • March 12, 2011: Deadline for submission of papers
  • March 31, 2011: Deadline for submission of papers extended
  • April 20, 2011: Notification to authors
  • April 30, 2011: Deadline for camera-ready versions
  • July 13-14, 2011: WS-FMDS 2011