Search Events:
Jun 20, 2011
FM 2011: 17th International Symposium of Formal Methods
Limerick, Limerick
Conference Organizer
Conference Organizer:
Contact Person:
Phone Number:
Overview
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.
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.
