Contact Person : Jonathan Bowen; Last Date for the submission of abstract : 40817; Description : 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.