<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div>************* Apologies for multiple postings *****************<br>

</div><br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;LAST C A L L &nbsp;F O R &nbsp;P A P E R S<br>


<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; ICMT 2014<br><br>&nbsp; &nbsp; &nbsp; &nbsp; 7th International Conference on Model Transformation<br><br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; July 21-25 2014, York, UK<br><br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <a href="http://www.model-transformation.org" target="_blank">http://www.model-transformation.org</a><br>





<br>****************************************************************<br><br>** IMPORTANT DATES **<br><br>Abstract submission &nbsp;January 28, 2014 (EXTENDED February 2, 2014)</div><div dir="ltr">Paper submission &nbsp;February 4, 2014&nbsp;(EXTENDED February 9, 2014)<br>

Notification of acceptance &nbsp;March 11, 2014<br>



Camera-ready version due &nbsp;April 11, 2014<br>Conference dates &nbsp;July 21-25, 2014<br><br>---------------------------------------------------------------------------------<br><br>Modeling is a key element in reducing the complexity of software systems <br>

during their development and maintenance. Model transformations are <br>



essential for elevating models from documentation elements to <br>first-class artifacts of the development process. Transformations also <br>play a key role in analyzing models to reveal conceptual flaws or <br>highlight quality bottlenecks and in integrating heterogeneous tools <br>





into unified tool chains. <br><br>Model transformation includes approaches such as: model-to-text <br>transformation, e.g., to generate code or other textual artifacts from <br>models; text-to-model transformations, e.g., to derive models from <br>





structured text such as legacy code; and model-to-model transformations, <br>e.g., to normalize, weave, analyze, optimize, simulate, and refactor <br>models, as well as to translate between modeling languages. <br><br>Model transformation encompasses a variety of technical spaces, <br>





including modelware, grammarware, dataware, and ontoware, a variety of <br>model representations, e.g., based on different types of graphs, and a <br>variety of transformation paradigms including rule-based <br>transformations, term rewriting, and manipulations of objects in <br>





general-purpose programming languages. <br><br>The study of model transformation includes foundations, structuring <br>mechanisms, and properties, such as modularity, composability, and <br>parameterization of transformations, transformation languages, <br>





techniques, and tools. An important goal of the field is the development <br>of high-level model transformation languages, providing transformations <br>that are amenable to higher-order model transformations or tailored to <br>





specific transformation problems. <br><br>The efficient execution of model queries and transformations by scalable <br>transformation engines on top of large graph data structures is also a <br>key challenge in different application scenarios. Novel algorithms as <br>





well as innovative (e.g. distributed) execution strategies and <br>domain-specific optimizations are sought in this respect. <br><br>To achieve impact on software engineering in general, methodologies and <br>tools are required to integrate model transformation into existing <br>





development environments and processes. ICMT is the premier forum for <br>researchers and practitioners from all areas of model transformation. <br><br><br>** TOPICS **<br><br>Topics of interest include, but are not limited to:<br>





<br>- Transformation paradigms and languages<br>&nbsp; graph rewriting, tree rewriting, attribute grammars<br>&nbsp; rule-based, declarative, imperative, and functional<br>&nbsp; textual, graphical<br>&nbsp; model queries, pattern matching<br>





&nbsp; transformation by example/demonstration<br>&nbsp; modularity, reusability, and composition<br>&nbsp; comparison of transformation languages<br>&nbsp; theoretical foundations<br><br>- Transformation algorithms and strategies<br>&nbsp; bidirectional transformation<br>





&nbsp; incremental transformation<br>&nbsp; scalability and optimization<br>&nbsp; higher-order transformation<br>&nbsp; transformation chains<br>&nbsp; non-functional aspects of transformations<br><br>- Development of transformations<br>&nbsp; specification,<br>





&nbsp; verification and validation (incl. testing, debugging, termination, confluence, metrics)<br>&nbsp; evolution<br>&nbsp; development processes<br>&nbsp; tool support<br>&nbsp; benchmarking of transformation engines<br>&nbsp; <br>- Applications and case studies<br>





&nbsp; refactoring<br>&nbsp; aspect weaving<br>&nbsp; model comparison, differencing, and merging<br>&nbsp; model analysis<br>&nbsp; model synchronization and change propagation<br>&nbsp; co-evolution of models, metamodels, and transformations<br>&nbsp; round-trip/reverse/forward engineering<br>





&nbsp; industrial experience reports and empirical studies<br><br>&nbsp; <br>** INVITED SPEAKER **<br><br>This year&rsquo;s edition of ICMT will feature, among peer-reviewed papers, <br>a keynote held by Jean Bézivin. <br><br><br>** SUBMISSION GUIDELINES **<br>





<br>All contributions will be subject to a rigorous selection process by <br>the international Program Committee, with an emphasis on originality, <br>practicality and overall quality. Papers should clearly indicate their <br>





contributions with respect to previous work. Each paper will be reviewed <br>by at least 3 committee members. All submissions should follow the LNCS <br>format, be in PDF, and should include the authors&#39; names, affiliations <br>





and contact details. The submission web site is: <br><a href="https://www.easychair.org/account/signin.cgi?conf=icmt2014" target="_blank">https://www.easychair.org/account/signin.cgi?conf=icmt2014</a> <br><br>Two kinds of submissions are sought:<br>





- Research papers: &nbsp;Up to 15 pages long.<br>- Tool demonstration papers: Up to 7 pages long.<br><br>Tool demonstration papers should describe novel and state-of-the-art <br>tools or report on novel features of existing tools, related to model <br>





transformation. Submissions should consist of two parts. The first part, <br>no more than 7 pages, should describe the tool presented (please include <br>the URL of the tool if available). This part will be included in the <br>





proceedings. The second part, no more than 5 pages, should explain how <br>the demonstration will be carried out, including screen dumps and <br>examples. This part will not be included in the proceedings, but will be <br>





evaluated. <br><br><br>** PUBLISHING **<br><br>The conference proceedings will be published by Springer-Verlag in the <br>LNCS series. Moreover, a special issue with a selection of the best <br>papers from the conference will be published in the Journal on Software <br>





and Systems Modeling (Springer). <br><br><br>*** ORGANIZING COMMITTEE ***<br><br>PC CHAIRS<br>Davide Di Ruscio &nbsp;University of L&rsquo;Aquila (Italy)<br>Daniel Varro &nbsp;Budapest University of Technology and Economics (Hungary)<br>





<br>WEB CHAIR<br>Philip Langer &nbsp;Vienna University of Technology (Austria)<br><br><br>**** CONTACT ****<br><br>Web &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; : &nbsp;<a href="http://www.model-transformation.org" target="_blank">http://www.model-transformation.org</a><br>





Follow us on twitter: &nbsp;@icmt14 #icmt14<span class=""><font color="#888888"><span><font color="#888888"><span><font color="#888888"><br clear="all"><div><br></div></font></span></font></span></font></span></div></div></div>

</div></div></div><span class=""><font color="#888888"><br><br clear="all">
<div><br></div>-- <br>-------------------------------------------------------------------------------------------------------------<br>Davide Di Ruscio, PhD in Computer Science<br>Department of Information Engineering Computer Science and Mathematics<br>


University of L&#39;Aquila<br>Via Vetoio, Coppito I-67010 L&#39;Aquila (Italy)<br>Email: <a href="mailto:davide.diruscio@univaq.it" target="_blank">davide.diruscio@univaq.it</a><br>WWW: &nbsp; <a href="http://www.di.univaq.it/diruscio" target="_blank">http://www.di.univaq.it/diruscio</a><br>


Skype: davidediruscio<br>Twitter: DDiRuscio<br>-------------------------------------------------------------------------------------------------------------
</font></span></div>
</div><br><br clear="all"><div><br></div>-- <br>-------------------------------------------------------------------------------------------------------------<br>Davide Di Ruscio, PhD in Computer Science<br>Department of Information Engineering Computer Science and Mathematics<br>

University of L&#39;Aquila<br>Via Vetoio, Coppito I-67010 L&#39;Aquila (Italy)<br>Email: <a href="mailto:davide.diruscio@univaq.it" target="_blank">davide.diruscio@univaq.it</a><br>WWW: &nbsp; <a href="http://www.di.univaq.it/diruscio" target="_blank">http://www.di.univaq.it/diruscio</a><br>

Skype: davidediruscio<br>Twitter: DDiRuscio<br>-------------------------------------------------------------------------------------------------------------
</div>