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