FM 2011, the 17th International Symposium on Formal Methods, is a formal methods conference being held at the University of Limerick↑, on the edge of the city of Limerick↑, Republic of Ireland↑, 20–24 June 2011. It is organized under the auspices of Formal Methods Europe. The local organizer is Lero.

See also Edit

• FM2011 Call for Papers (also PDF)
• FM2009 conference
• FM conference series

External links Edit

• FM2011 website from Lero
• FM2011 information from FME
• FM2011 Call for Papers on WikiCFP
• FM2011 on Open Research Wiki
• FM2011 paper submissions on Easychair