FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry, who work in every area of formal methods. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN events in 2005, 2007, 2009, and 2011, the next event in the FSEN series will take place in Tehran, Iran, April 24-26, 2013.
| Submissions: | October 26, 2012 |
| Notification: | December 14, 2012 |
| Event: | April 24, 2013-April 26, 2013 |