[om-a] Third Call for Papers for International Workshop on Foundations of Software Engineering (FSEN'05)

fsen05 at ipm.ir fsen05 at ipm.ir
Tue May 10 13:25:51 CEST 2005


Our apologies if you have received multiple copies.
-------------------------------------------------------------------------
                      Third Call for Papers
IPM International Workshop on Foundations of Software Engineering
                           (FSEN 2005)
               1-3 October 2005, Tehran, Iran.
                  http://cs.ipm.ac.ir/FSEN05


FSEN 2005 is an international workshop organized by the Institute for
Studies in Theoretical Physics and Mathematics (IPM) in Iran
(http://www.ipm.ac.ir).

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


Keynote Speakers 
-----------

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


Proceedings
-----------

Accepted papers will be available at the workshop in a pre-proceedings
published by IPM. A post-proceedings 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).


Best Paper Award
----------------

There will be an award for the best paper.


Important Dates
---------------

    * June 1, 2005: Submissions deadline
    * July 15, 2005: Notification of authors
    * August 1, 2005: Camera ready copies deadline
    * October 1-3, 2005: FSEN workshop


Submissions
-----------

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


Workshop Chair
--------------

    Ali Movaghar
        Sharif University of Technology, Iran
        IPM, Iran

PC Chairs
---------

    Farhad Arbab
        CWI, Netherlands
        Leiden University, Netherlands
        University of Waterloo, Canada
        
    Marjan Sirjani
        Tehran University, Iran
        IPM, Iran

Local Organization Chair
------------------------
    Marjan Sirjani
        Tehran University, Iran
        IPM, Iran

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 Kwiatkawska, 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 - Sharif University of Technology, Iran; IPM, 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
    * Sandeep Shukla- Virginia Tech, USA
    * Marjan Sirjani - Tehran University, Iran; IPM, Iran
    * Alan Wassyng - McMaster University, Canada



--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems



More information about the Om-announce mailing list