<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=iso-8859-1"><meta name=Generator content="Microsoft Word 12 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@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.StileMessaggioDiPostaElettronica17
{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:70.85pt 2.0cm 2.0cm 2.0cm;}
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=IT link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><span lang=EN-US>------------------------------------------------------------------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Our apologies if you receive multiple copies of this CFP -<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>------------------------------------------------------------------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> CALL FOR PAPERS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> FASE 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> http://www.etaps.org/2013/fase13<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> 16th International Conference on <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Fundamental Approaches to Software Engineering <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> Rome, Italy, March 16-24, 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> A conference of ETAPS 2013 : http://www.etaps.org/<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> European Joint Conferences on Theory and Practice of Software<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>------------------------------------------------------------------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>IMPORTANT DATES<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>7 October 2012: Abstract Submission<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>14 October 2012: Paper Submission<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>14 December 2012: Author Notification<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>8 January 2013: Camera-ready version<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>------------------------------------------------------------------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>SCOPE AND TOPICS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>FASE is concerned with the foundations on which software engineering is built. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Submissions should focus on novel techniques and the way in which they contribute <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>to making software engineering a more mature and soundly-based discipline. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Contributions that combine the development of conceptual and methodological <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>advances with their formal foundations and tool support are particularly encouraged. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>We welcome contributions on all such fundamental approaches, including:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Software engineering as an engineering discipline, including its interaction with <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and impact on society;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Requirements engineering: capture, consistency, and change management of software <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>requirements;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Software architectures: description and analysis of the architecture of individual <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>systems or classes of applications;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Specification, design, and implementation of particular classes of systems: adaptive, <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>collaborative, embedded, distributed, mobile, pervasive, or service-oriented applications;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Software quality: validation and verification of software using theorem proving, <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>model checking, testing, analysis, refinement methods, metrics or visualisation techniques;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Model-driven development and model transformation: meta-modelling, design and semantics <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>of domain-specific languages, consistency and transformation of models, generative architectures;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Software processes: support for iterative, agile, and open source development;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Software evolution: refactoring, reverse and re-engineering, configuration management <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and architectural change, or aspect-orientation.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>GENERAL SUBMISSION GUIDELINES<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Both types will appear in the proceedings and have presentations during the conference. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>A condition of submission is that, if the submission is accepted, one of the authors attends the <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>conference to give the presentation. Submitted papers must be in English presenting original research. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>be published in the Advanced Research in Computing and Software Science (ARCoSS) subline <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Springer's Lecture Notes in Computer Science series.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Papers must follow the formatting guidelines specified by Springer at the URL:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>http://www.springer.de/comp/lncs/authors.html<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and be submitted electronically in pdf through the Easychair author interface at the URL:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>https://www.easychair.org/account/signin.cgi?conf=fase2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Submissions not adhering to the specified format and length may be rejected immediately.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>- Research papers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Page limit is 15 pages. Additional material intended for the referee but not for publication in the final <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>version - for example, details of proofs - may be placed in a clearly marked appendix that is not included <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>in the page limit. FASE referees are at liberty to ignore appendices and papers must be understandable <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>without them.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>- Tool demonstration papers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Submissions should consist of two parts:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(if available) and provide information that illustrates the maturity and robustness of the tool <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(this part will be included in the proceedings).<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>The second part, at most 6 pages, should explain how the demonstration will be carried out and what it <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>will show, including screen dumps and examples. (This part will be not be included in the proceedings, <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>but will be evaluated.)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>INVITED SPEAKER<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Krzysztof Czarnecki (Univ. of Waterloo, Canada)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal>PROGRAMME CO-CHAIRS<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Vittorio Cortellessa (Università dell'Aquila, Italy)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Daniel Varró (Budapest University of Technology and Economics, Hungary)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal>PROGRAMME COMMITTEE<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Marco Bernardo (Università di Urbino, Italy)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Ruth Breu (University of Innsbruck, Austria)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Shing-Chi Cheung (The Hong Kong University of Science and Technology)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Bojan Cukic (West Virginia University, USA)<o:p></o:p></span></p><p class=MsoNormal>Juan de Lara (Universidad Autónoma de Madrid, Spain)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Ewen Denney (NASA, USA)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Jürgen Dingel (Queen's University, Canada)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Alexander Egyed (Johannes Kepler University, Austria)<o:p></o:p></span></p><p class=MsoNormal>Claudia Ermel (Technische Universität Berlin, Germany)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Rudolf Ferenc (University of Szeged, Hungary)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Holger Giese (Universität Potsdam, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Paul Grace (Lancaster University, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Reiko Heckel (University of Leicester, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>John Hosking (University of Auckland, New Zealand)<o:p></o:p></span></p><p class=MsoNormal>Valerie Issarny (INRIA, France)<o:p></o:p></p><p class=MsoNormal>Jochen Küster (IBM, Switzerland)<o:p></o:p></p><p class=MsoNormal>Raffaela Mirandola (Politecnico di Milano, Italy)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Richard Paige (University of York, UK)<o:p></o:p></span></p><p class=MsoNormal>Dorina Petriu (Carleton University, Canada)<o:p></o:p></p><p class=MsoNormal>Alfonso Pierantonio (Universita dell'Aquila, Italy)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Claudia Pons (University of La Plata, Argentina)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Abhik Roychoudhury (National University of Singapore)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Andy Schürr (TU Darmstadt, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Bran Selic (Malina Software Corp., Canada)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Gabriele Taentzer (Philipps-Universität Marburg, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Nicolai Tillmann (Microsoft Research, USA)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Virginie Wiels (Onera, France)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Andrea Zisman (City University London, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal>---------<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>