<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=WordSection1>
<p class=MsoNormal><span style='font-family:"Arial","sans-serif"'><br>
###################################################################### <br>
CALL FOR PAPERS <br>
<br>
Fourth
International Conference on <br>
Fundamentals of Software
Engineering 2011 <br>
Theory and Practice <br>
(FSEN '11) <br>
<br>
fsen.ir/2011 <br>
<br>
Tehran, Iran <br>
April 20-22, 2011 <br>
<br>
###################################################################### <br>
<br>
About FSEN <br>
<br>
FSEN is an international conference that aims to bring together <br>
researchers, engineers, developers, and practitioners from the academia <br>
and the industry, who work in every area of formal methods. This <br>
conference seeks to facilitate the transfer of experience, adaptation of <br>
methods, and where possible, foster collaboration among different groups. <br>
The topics of interest cover all aspects of formal methods, especially <br>
those related to advancing the application of formal methods in the <br>
software industry and promoting their integration with practical <br>
engineering techniques. Following the success of the previous FSEN events <br>
in 2005, 2007 and 2009, the next event in the FSEN series will take place <br>
in Tehran, Iran, April 20-22, 2011. <br>
--------------------------------------------------------------------- <br>
<br>
In cooperation with <br>
<br>
ACM SIGSOFT <br>
IFIP WG2.2 <br>
--------------------------------------------------------------------- <br>
<br>
Important Dates <br>
<br>
Abstract Submission: November 1, 2010 (new) <br>
Paper Submission: November 8, 2010 (new) <br>
Notification: December 13, 2010 <br>
Camera Ready: January 17, 2011 <br>
Conference: April 20-22, 2011 <br>
--------------------------------------------------------------------- <br>
<br>
Keynote Speakers <br>
<br>
Carlo Ghezzi, Politecnico di Milano, Italy <br>
Joost-Pieter Katoen, RWTH Aachen University, Germany <br>
<br>
(Third speaker to be announced) <br>
--------------------------------------------------------------------- <br>
<br>
Topics of Interest <br>
<br>
The topics of this symposium include, but are not restricted to, the <br>
following: <br>
<br>
* Models of programs and systems <br>
* Software specification, validation and verification <br>
* Software architectures and their description languages <br>
* Object and multi-agent systems <br>
* Coordination and feature interaction <br>
* Integration of formal and informal methods <br>
* Integration of different formal methods <br>
* Component-based development <br>
* Service-oriented development <br>
* Model checking and theorem proving <br>
* Software and hardware verification <br>
* CASE tools and tool integration <br>
* Application to industrial cases <br>
<br>
The length of each paper including figures and references must not exceed <br>
15 pages and should conform to the Springer LNCS style. All papers must be <br>
submitted in PDF or postscript format. Submissions should explicitly state <br>
their contribution and their relevance to the theme of the conference. <br>
Other criteria for selection will be originality, significance, <br>
correctness, and clarity. Simultaneous or similar submissions to other <br>
conferences or journals are not allowed. <br>
---------------------------------------------------------------------- <br>
<br>
Proceeding and Special Issues <br>
<br>
The post-proceedings of FSEN11 will be published by Springer Verlag in the <br>
LNCS series. There will also be a pre-proceeding for the accepted papers,
<br>
which is printed locally by IPM. This pre-proceeding will be made <br>
available at the conference. <br>
<br>
The proceedings of FSEN07 and FSEN09 were published in the LNCS series. A <br>
special issue of Science of Computer Programming is being published, <br>
containing the extended versions of a selection of papers of FSEN09. A <br>
special issue of Fundamenta Informaticae was published, containing the <br>
extended versions of a selection of papers of FSEN07. The proceedings of <br>
FSEN05 was published in the ENTCS series: ENTCS 159 (2006). Two special <br>
issues were published containing the extended versions of a selection of <br>
papers of FSEN05 in Fundamenta Informaticae (FI, vol. 82, 2008) and in <br>
Journal of Universal Computing (J.UCS, 13(13), 2007). <br>
<br>
---------------------------------------------------------------------- <br>
General Chair <br>
<br>
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran <br>
<br>
Program Chairs <br>
<br>
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands <br>
Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran <br>
<br>
Steering Committee <br>
<br>
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands <br>
Christel Baier - University of Dresden, Germany <br>
Frank de Boer - CWI, Netherlands; Leiden University, Netherlands <br>
Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran <br>
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran <br>
Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran <br>
Jan Rutten - CWI, Netherlands; Radboud University Nijmegen, Netherlands <br>
<br>
Program Committee <br>
<br>
Luca Aceto - Reykjavik University, Reykjavik, Iceland <br>
Gul Agha - University of Illinois at Urbana - Champaign, USA <br>
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands <br>
Jos Baeten - Eindhoven University of Technology, Netherlands <br>
Christel Baier - University of Dresden, Germany <br>
Frank de Boer - CWI, Netherlands; Leiden University, Netherlands <br>
Marcello Bonsangue - Leiden University, Netherlands <br>
Mario Bravetti - University of Bologna <br>
James C. Browne - University of Texas at Austin, USA <br>
Einar Broch Johnsen - University of Oslo, Norway <br>
Michael Butler - University of Southampton, UK <br>
David Clarke - Katholieke University Leuven, Belgium <br>
Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands <br>
Masahiro Fujita - University of Tokyo, Japan <br>
Maurizio Gabbrielli - University of Bologna, Italy <br>
Anna Ingolfsdottir - Reykjavik University, Reykjavik, Iceland <br>
Radu Grosu - State University of New York at Stony Brook, USA <br>
Jan Friso Groote - Technical University of Eindhoven, Netherlands <br>
Joost Kok - Leiden University, Netherlands <br>
Ramtin Khosravi - University of Tehran, Iran <br>
Kim Larsen - Aalborg University, Denmark <br>
Zhiming Liu - United Nations University, Macao, China <br>
Seyyed Hassan Mirian - Sharif University of Technology, Iran <br>
Sun Meng - Peking University, China <br>
Ugo Montanari - University of Pisa, Italy <br>
Peter Mosses - Swansea University, UK <br>
Mohammad Reza Mousavi - Technical University of Eindhoven, Netherlands Ali <br>
Movaghar - IPM, Iran; Sharif University of Technology, Iran <br>
Andrea Omicini - University of Bologna, Italy <br>
Saeed Parsa - Iran University of Science & Technology, Iran <br>
Hiren Patel - University of Waterloo, Canada <br>
Jan Rutten - CWI, Netherlands; Radboud University Nijmegen, Netherlands <br>
Davide Sangiorgi - University of Bologna, Italy <br>
Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran <br>
Carolyn Talcott - SRI International, USA <br>
Erik de Vink - Technical University of Eindhoven, Netherlands</span><o:p></o:p></p>
</div>
<br />--
<br />This message has been scanned for viruses and
<br />dangerous content by
<a href="http://www.mailscanner.info/"><b>MailScanner</b></a>, and is
<br />believed to be clean.
</body>
</html>