FMweek

FMweek (Formal Methods Week) is a set of co-located conferences and events, at Eindhoven↑, The Netherlands↑, October 31 – November 6, 2009:

• FMICS
• FM2009
• REFINE
• PDMC
• TESTCOM/FATES
• FACS
• CPA
• FAST
• FMCO

See also

• FM conference
• Formal Methods Europe

External links

• FMweek website