News

Conference Proceedings

Conference proceedings is now available online. You can access this version here.

Conference Pictures

Conference pictures are available now. You can click on the text below to see the high quality version of the images.

Kish Map

Click here to see the map of Kish Island.

Registration

Registration page is open.

Special Issue

The special issue of FSEN 2009 will be published in the journal of Science of Computer Programming.

Deadline Extension

Abstract Submission: October 20, 2008    Extended for 2 weeks: November 3, 2008
Paper Submission: October 27, 2008    Extended for 2 weeks: November 10, 2008

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 and 2007, the next event in the FSEN series will take place in Kish, Persian Gulf, Iran, April 15-17, 2009.

The post-proceedings of FSEN'09 will be published by Springer Verlag in the LNCS series(Lecture Notes in Copmuter Science). The proceedings of FSEN'07 was published in the LNCS series:LNCS 4767 (2007). A special issue of Fundamenta Informaticae is being 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:

Special issue in Fundamenta Informaticae (FI):
Behavior of Composed Concurrent Systems: Logic and Reasoning FI 82 (2008)

Special issue in Journal of Universal Computing (J.UCS):
Applications of Formal Methods to System Design and Verification. J.UCS 13(13) (2007)

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

Call for Papers

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. Submissions should explicitly state their contribution and their relevance to the theme of the symposium. 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: http://www.easychair.org/conferences/?conf=fsen09

Proceedings

The post-proceedings of FSEN'09 will be published by Springer Verlag in the LNCS series ( Lecture Notes in Computer Science).

Important Dates

  • Abstract Submission:    October 20, 2008     Extended for 2 weeks: November 3, 2008
  • Paper Submission:    October 27, 2008     Extended for 2 weeks: November 10, 2008
  • Notification:    December 15, 2008
  • Camera Ready:    January 15, 2009
  • Early Registration:    February 10, 2009
  • Conference:    April 15-17, 2009

Keynote Speakers

General Chair



Program Chairs



Steering Committee



Program Committee



Local Organization Chair