News
About
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, 2011, 2013, 2015, 2017, 2019 and 2021 the next event in the FSEN series will take
place in Tehran, Iran, May 3-5, 2023.
Topics of Interest
Models of programs and systems
Software specification, validation and verification
Software architectures and their description languages
Object and multi-agent systems
Coordination and feature interaction
Integration of formal and informal methods
Integration of different formal methods
Component-based development
Service-oriented development
Model checking and theorem proving
Software and hardware verification
CASE tools and tool integration
Application to industrial cases