<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>               LAST C A L L  F O R  P A P E R S<br>



<br>                        ICMT 2014<br><br>        7th International Conference on Model Transformation<br><br>                July 21-25 2014, York, UK<br><br>            <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  January 28, 2014<br>Paper submission  February 4, 2014<br>Notification of acceptance  March 11, 2014<br>




Camera-ready version due  April 11, 2014<br>Conference dates  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>  graph rewriting, tree rewriting, attribute grammars<br>  rule-based, declarative, imperative, and functional<br>  textual, graphical<br>  model queries, pattern matching<br>




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




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




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




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




  industrial experience reports and empirical studies<br><br>  <br>** INVITED SPEAKER **<br><br>This year’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:  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  University of L’Aquila (Italy)<br>Daniel Varro  Budapest University of Technology and Economics (Hungary)<br>




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




Follow us on twitter:  @icmt14 #icmt14<span class="HOEnZb"><font color="#888888"><span><font color="#888888"><br clear="all"><div><br></div></font></span></font></span></div></div></div></div></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:   <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>