FM 2011 Logo

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

External links Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.