FSEN 2005 is organized by the Institute for Studies in Fundamental Sciences in Iran.
CFP in PDF
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:
- 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 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:
msirjani@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.
Proceeding
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
- Submissions deadline :
June 24, 2005 (Extended)
- Notification of authors : August 8, 2005
- Camera ready copies deadline :
September 12
, 2005 (for conditionally accepted papers, September 6)
- FSEN workshop :
October 1 - 3, 2005
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
movaghar@ipm.ir
PC Chairs
Farhad Arbab
CWI, Netherlands
Leiden University, Netherlands
University
of
Waterloo, Canada
farhad.arbab@cwi.nl
Marjan Sirjani
IPM, Iran
Tehran University,
Iran
msirjani@ipm.ir
|
Organization Chair
|
Local Arrangement Chair
|
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
Links
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
