FM 2011: 17th International Symposium of Formal Methods
20th to 24th June 2011
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.