3rd International Conference on
Fundamentals of Software Engineering
(FSEN'09)
15 - 17 April, Kish Island, Persian Gulf, Iran


Home

Topics of Interest

Call For Papers

Proceedings

Important Dates

Keynote Speakers

Committees

Programme

Information About Kish

Travel Info

Guestbook

Contact Us




In cooperation with:






Home  |  FSEN'05  |  FSEN'07
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 icon to see the high quality version of the image.
    Kish Map
           Ckick 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

Back to top


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

Back to top


Proceedings

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

Back to top


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

Back to top


Keynote Speakers

Jos C. M. Baeten - Eindhoven University of Technology, Netherlands

Kim Guldstrand Larsen - Aalborg University, Denmark

Zhiming Liu - International Institute for Software Technology, United Nations University, Macao SAR, China

Back to top


General Chair

Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran

Back to top


Program Chairs

Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands

Marjan Sirjani - University of Tehran, Iran; IPM, Iran; Reykjavík University, Reykjavík, Iceland

Back to top


Steering Committee

Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands

Christel Baier - University of Dresden, Germany

Frank de Boer - CWI, Netherlands; Leiden University, Netherlands

Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran

Hamid Sarbazi-azad - IPM, Sharif University of Technology, Iran

Marjan Sirjani - University of Tehran, Iran; IPM, Iran; Reykjavík University, Reykjavík, Iceland

Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands

Back to top


Program Committee

Luca Aceto - Reykjavík University, Reykjavík, Iceland

Gul Agha - University of Illinois at Urbana - Champaign, USA

Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands

Christel Baier - University of Dresden, Germany

Frank de Boer - CWI, Netherlands; Leiden University, Netherlands

Marcello Bonsangue - Leiden University, Netherlands

Mario Bravetti - University of Bologna, Italy

James C. Browne - University of Texas at Austin, USA

Einar Broch Johnsen - University of Oslo, Norway

Michael Butler - University of Southampton, UK

David Clarke - CWI, Netherlands; K.U.Leuven, Belgium

Nancy Day - University of Waterloo, Canada

Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands

Masahiro Fujita - University of Tokyo, Japan

Maurizio Gabbrielli - University of Bologna, Italy

Radu Grosu - State University of New York at Stony Brook, USA

Jan Friso Groote - Technical University of Eindhoven, Netherlands

Joost Kok - Leiden University, Netherlands

Zhiming Liu - United Nations University, Macao, China

Seyyed Hassan Mirian - Sharif University of Technology, Iran

Ugo Montanari - University of Pisa, Italy

Peter Mosses - Swansea University, UK

Mohammad Reza Mousavi - Technical University of Eindhoven, Netherlands

Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran

Andrea Omicini - University of Bologna, Italy

Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands

Davide Sangiorgi - University of Bologna, Italy

Sandeep Shukla - Virginia Tech, USA

Marjan Sirjani - University of Tehran, Iran; IPM, Iran; Reykjavík University, Reykjavík, Iceland

Carolyn Talcott - SRI International, USA

Zijiang Yang - Western Michigan University, USA

Back to top


Local Organization Chair

Hamidreza Shahrabi - IPM, Iran

Back to top
Copyright 2008 - IPM