FM 2011: 17th International Symposium of Formal MethodsPrint this Page
June 20, 2011
June 24, 2011
, Limerick, Ireland
FM 2011 is the seventeenth in a series of symposiarnorganized by Formal Methods Europe, an independentrnassociation whose aim is to stimulate the use of,rnand research on, formal methods for softwarerndevelopment. Organized by: Formal Methods Europe Deadline for abstracts/proposals: rn10 January 2011rnrn[add this deadline to Google Calendar]rnrnCheck the event website for latest details.