Wednesday, September 29, 2010

Call for Papers for FSEN 2011

I have been asked to distribute this call for papers. Consider submitting to FSEN 2011, thereby supporting a young, good-quality conference in formal approaches to software engineering, broadly construed!

########################################
                         CALL FOR PAPERS

                   Fourth International Conference on
               Fundamentals of Software Engineering 2011
                        Theory and Practice
                               (FSEN '11)

                        http://fsen.ir/2011

                            Tehran, Iran
                          April 20-22, 2011

########################################

About FSEN

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, 2007 and 2009, the next event in the FSEN series will take place
in Tehran, Iran, April 20-22, 2011.
---------------------------------------------------------------------

In cooperation with

ACM SIGSOFT
IFIP WG2.2
---------------------------------------------------------------------

Important Dates

Abstract Submission:   October 18 , 2010
Paper Submission:      October 25 , 2010
Notification:          December 13, 2010
Camera Ready:          January 10 , 2011
Conference:            April 20-22, 2011
---------------------------------------------------------------------

Keynote Speakers

Carlo Ghezzi, Politecnico di Milano, Italy
Joost-Pieter Katoen, RWTH Aachen University, Germany

(Third speaker to be announced)
---------------------------------------------------------------------

Topics of Interest

The topics of this symposium 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

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 conference.
Other criteria for selection will be originality, significance,
correctness, and clarity. Simultaneous or similar submissions to other
conferences or journals are not allowed.
----------------------------------------------------------------------

Proceeding and Special Issues

The post-proceedings of FSEN11 will be published by Springer Verlag in the
LNCS series.  There will also be a pre-proceeding for the accepted papers,
which is printed locally by IPM. This pre-proceeding will be made
available at the conference.

The proceedings of FSEN07 and FSEN09 were published in the LNCS series. A
special issue of Science of Computer Programming is being published,
containing the extended versions of a selection of papers of FSEN09. A
special issue of Fundamenta Informaticae was published, containing the
extended versions of a selection of papers of FSEN07. The proceedings of
FSEN05 was published in the ENTCS series: ENTCS 159 (2006). Two special
issues were published containing the extended versions of a selection of
papers of FSEN05 in Fundamenta Informaticae (FI, vol. 82, 2008) and  in
Journal of Universal Computing (J.UCS, 13(13), 2007).

----------------------------------------------------------------------
General Chair

Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran

Program Chairs

Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran

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, Iran; Sharif University of Technology, Iran
Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran
Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands

Program Committee

Luca Aceto - Reykjavik University, Reykjavik, Iceland
Gul Agha - University of Illinois at Urbana - Champaign, USA
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
Jos Baeten - Eindhoven University of Technology, 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
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
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
Ramtin Khosravi - University of Tehran, Iran
Kim Larsen - Aalborg University, Denmark
Zhiming Liu - United Nations University, Macao, China
Seyyed Hassan Mirian - Sharif University of Technology, Iran
Sun Meng - Peking University, China
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
Saeed Parsa - Iran University of Science & Technology, Iran
Hiren Patel - University of Waterloo, Canada
Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands
Davide Sangiorgi - University of Bologna, Italy
Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran
Carolyn Talcott - SRI International, USA