FSEN 2015

News

You can download pre-proceedings here.
Social Event Address
Conference program is available.
The FSEN'15 official website is up now.
Deadline Extension
-Abstract Submission: October 24, 2014 Extended for 2 weeks: November 7, 2014
-Paper Submission: October 31, 2014 Extended for 2 weeks: November 14, 2014

About

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.

Topics of Interest

The topics of this conference include, but are not restricted to, the following:

Models of programs and software systems

Software specification, validation, and verification

Software testing

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 and Service-oriented software systems

Self-adaptive software systems

Model checking and theorem proving

Software and hardware verification

CASE tools and tool integration

Industrial Applications

Back to top

Paper Submission

Papers should be formatted according to the Springer LNCS style, not exceed 15 pages (including figures and references), submitted in PDF or postscript format through the EasyChair conference management system. Submissions should explicitly state their contribution and their relevance to the themes of the conference. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. Papers should not be submitted simultaneously for publication elsewhere.

You can submit your papers/abstracts via the following link: https://www.easychair.org/conferences/?conf=fsen2015

Back to top

Proceedings

The post-proceedings of FSEN'15 will be published by Springer Verlag in the LNCS series. There will be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of FSEN, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'15 (to be confirmed). After the conference a selection of papers will be invited for the special issue. The invited papers should be extended and will undergo a new round of review by an international program committee. The proceedings of FSEN'07, FSEN'09, and FSEN'11 were published in the LNCS series. A special issue of Science of Computer Programming was published (SCP 77(7-8), 2012), containing the extended versions of a selection of papers of FSEN'09. A special issue of Fundamenta Informaticae was published, containing the extended versions of a selection of papers of FSEN'07. The proceedings of FSEN'05 was published in the ENTCS series: ENTCS 159 (2006). Two special issues were published containing the extended versions of a selection of papers of FSEN'05 in Fundamenta Informaticae (FI, vol. 82, 2008) and in Journal of Universal Computing (J.UCS, 13(13), 2007).

Abstract Submission:	October 24, 2014 Extended for 2 weeks: November 7, 2014
Paper Submission:	October 31, 2014 Extended for 2 weeks: November 14, 2014
Notification:	December 26, 2014
Camera Ready:	January 16, 2015
Conference:	April 22-24, 2015