[Om-announce] FSEN 2011: Deadline extension

[Marjan Sirjani]

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

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

                            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:   November 1,  2010 (new) 
Paper Submission:      November 8,  2010 (new) 
Notification:          December 13, 2010 
Camera Ready:          January 17,  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; Radboud University Nijmegen, 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 - Katholieke University Leuven, Belgium 
Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands 
Masahiro Fujita - University of Tokyo, Japan 
Maurizio Gabbrielli - University of Bologna, Italy 
Anna Ingolfsdottir - Reykjavik University, Reykjavik, Iceland 
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; Radboud University Nijmegen, Netherlands 
Davide Sangiorgi - University of Bologna, Italy 
Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran 
Carolyn Talcott - SRI International, USA 
Erik de Vink - Technical University of Eindhoven, Netherlands


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20101020/23184551/attachment.htm