WS-FMDS 2012 August 28, 2012, France

WorkShop on
Formal
Methods in the
Development of
Software

Welcome to WS-FMDS.

2nd Workshop on Formal Methods in the Development of Software

  • CNAM

    Dates

    August 27-28, 2012, CNAM of Paris, France

  • QSIC 2011

    FM 2012

    Co-located with the 18th International Symposium on Formal Methods

    (FM 2012)

WS-FMDS 2012.

Important Dates


  • March 23, 2012: Deadline for submission of papers
  • April 15, 2012: Deadline for submission of papers extended
  • May 21, 2012: Notification to authors
  • May 31, 2012: Deadline for camera-ready versions
  • August 28, 2012: WS-FMDS 2012