First Call for Papers

IPM International Workshop on Foundations of Software Engineering (FSEN 2005)

Oct. 1-3, 2005
Tehran, Iran

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

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:

• 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

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

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).

There will be an award for the best paper.

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: fsen05@ipm.ir.
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.

Ali Movaghar
IPM, Iran
Sharif University of Technology, Iran
movaghar@ipm.ir

Marjan Sirjani
IPM, Iran
Tehran University, Iran
msirjani@ipm.ir

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 - Texas University, 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