FM 2011 - Formal Methods Europe
FM 2011 - Formal Methods Wiki
FM 2011 - FME LinkedIn group
FM 2011 Facebook event
Lero, University of Limerick, Limerick, Republic of Ireland - Wikipedia
SEW-34 Call for Papers: 34th Annual IEEE Software Engineering Workshop, Limerick, Ireland, 20-21 June 2011
Left: Lero bulding at the University of Limerick.
Right: Limerick bridge and castle.