FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. 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 editions, the next edition of the FSEN conference will take place in Tehran, Iran, April 22-24, 2015.
04月22日
2015
04月24日
2015
摘要截稿日期
初稿截稿日期
注册截止日期
2017年04月26日 伊朗 Tehran,Iran
第七届IPM软件工程基础国际会议
留言