SBMF 2011 is the fourteenth of a series of events devoted to the development, dissemination and use of formal methods for the construction of high-quality computational systems. It is now a well-established event, with an international reputation.
| Submissions: | May 30, 2011 |
| Notification: | July 25, 2011 |
| Event: | September 26, 2011-September 30, 2011 |