FSEN 2005 is organized by the Institute for Studies in Fundamental Sciences in Iran.


Workshop Place *(NEW)

Rahbaran Petrochemical Company Amphitheater
Koohestan Allay, Shahid Bookan St., Shahid Sadeghi Ghomi St., Yasser three-way, Niavaran Ave., Tehran.


Workshop Goals

The aim of the workshop is to bring together researchers and practitioners working on different aspects of formal methods in software engineering. The specific goal is to facilitate transfer of experience, adaptation of methods, and where possible, collaboration between different groups. The topics may cover any aspect in formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

Topics of interest :
The topics of this workshop include, but are not restricted to, the following:

Call For Papers

The length of each paper including figures and references must not exceed the maximum size of 15 ENTCS style pages. All papers must be submitted in PDF or postscript format. Papers are to be sent to the following email address:

Submissions should explicitly state their contribution and their relevance to the theme of the workshop. Other criteria for selection will be originality, significance, correctness, and clarity.

Simultaneous or similar submissions to other conferences or journals are not allowed.


Accepted papers will be available at the workshop in a pre-proceeding published by IPM. A post-proceeding will be published in the Elsevier's ENTCS conference series. Selected papers will also be published in a special issue of a journal (to be confirmed).

 Click here to download proceeding

Important Dates

Keynote Speaker

Gul Agha - University of Illinois at Urbana - Champaign, USA
Joost Kok - Leiden University, Netherlands
Carolyn Talcott - SRI International, USA

Workshop Chair

Ali Movaghar
IPM, Iran
Sharif University of Technology, Iran

PC Chairs
Farhad Arbab
CWI, Netherlands
Leiden University, Netherlands
University of Waterloo, Canada

Marjan Sirjani
IPM, Iran
Tehran University, Iran

Organization Chair Local Arrangement Chair

Marjan Sirjani Hamid Reza Shahrabi
IPM, Iran IPM, Iran
Tehran University, Iran shahrabi@ipm.ir

Program Committee
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands; University of Waterloo, Canada
Mohammad Ardeshir - Sharif University of Technology, Iran
Christel Baier - University of Bonn, Germany
Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
Marcello Bonsangue - Leiden University, Netherlands
Franck van Breugel - York University, Canada
James C. Browne - University of Texas at Austin, USA
Michael Butler - University of Southampton, UK
Marsha Chechik - University of Toronto, Canada
Dennis Dams - Bell Labs, USA
Nancy Day - University of Waterloo, Canada
Maurizio Gabbrielli - University of Bologna, Italy
Yuri Gurevich - Microsoft Research, USA
Joost Kok - Leiden University, Netherlands
Marta Kwiatkowska - University of Birmingham, UK
Mohammad Reza Meybodi - AmirKabir University of Technology, Iran
Seyyed Hassan Mirian - Sharif University of Technology, Iran
Ugo Montanari - University of Pisa, Italy
Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran
Andrea Omicini - University of Bologna, Italy
George Papadopoulos - University of Cyprus, Cyprus
Willem-Paul de Roever - University of Kiel, Germany
Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands
Mohsen Sharifi - Iran University of Science and Technology, Iran
Sandeep Shukla- Virginia Tech, USA
Marjan Sirjani - IPM, Iran; Tehran University, Iran
Alan Wassyng - McMaster University, Canada


Iran Tourism : http://www.itto.org/index.asp
Iranian Cultural Heritage : http://www.iranmiras.org/
Computer Society of Iran Computer Conference : http://www.csicc2006.ipm.ir