Fundamentals of Software Engineering


FSEN 2017

FSEN 2015

FSEN 2013

FSEN 2011

FSEN 2009

FSEN 2007

FSEN 2005



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 and 2013, 2015, the next event in the FSEN series will take place in Tehran, Iran, April 26-28, 2017.

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

© 2012 Copyright, School of Computer Science, IPM