FM 2011: 17th International Symposium of Formal Methods
Conference in-person 20th to 24th June 2011 Limerick, Ireland Website: http://fm2011.lero.ie/ Contact person: Jonathan Bowen FM 2011 is the seventeenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Organized by: Formal Methods Europe Deadline for abstracts/proposals: 10th January 2011 Check the event website for more details. View all events from this organizer. |