FSEN 2013

News

FSEN 2011 proceedings, published in 2012, have been one of the top 50% most downloaded eBooks in the relevant Springer eBook Collection in 2012, according to a recent report from Springer.

FSEN 2013 post-proceedings will soon be published as LNCS 8161.

Conference program is available.

Deadline Extension
-Abstract Submission: October 19, 2012 Extended for 2 weeks: November 2, 2012
-Paper Submission: October 26, 2012 Extended for 2 weeks: November 9, 2012
The FSEN'13 official website is up now.

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

Topics of Interest

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

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

Back to top

Paper Submission

The length of each paper including figures and references must not exceed 15 pages and should conform to the Springer LNCS style. All papers must be 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. Other criteria for selection will be originality, significance, correctness, and clarity. Simultaneous or similar submissions to other conferences or journals are not allowed.

You can submit your papers/abstracts via the following link: https://www.easychair.org/account/signin.cgi?conf=fsen2013

Back to top

Proceedings

The post-proceedings of FSEN'13 will be published by Springer Verlag in the LNCS series (to be confirmed). There will also be a pre-proceeding for the accepted papers, printed locally by IPM. This pre-proceeding will be made available at the conference. Following the tradition of the past editions, we plan to have a special issue of an international scientific journal devoted to FSEN'13. Selected participants will be invited to submit an extended version of their papers after the conference. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. 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 19, 2012 Extended for 2 weeks: November 2, 2012
Paper Submission:	October 26, 2012 Extended for 2 weeks: November 9, 2012
Notification:	December 14, 2012
Camera Ready:	January 11, 2013
Conference:	April 24-26, 2013