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[]
- FM2011 Call for Papers (also PDF)
- FM2009 conference
- FM conference series