INTERNATIONAL CONFERENCE ON MODEL TRANSFORMATION (ICMT) 2012
Co-located with TOOLS Europe 2012

Prague - Czech Republic, May 28 - 29 2012
http://www.model-transformation.org/

Overview
--------
Modelling is a key element in reducing the complexity of software systems
during their development and maintenance. Model transformations are essential
for elevating models from documentation elements to first-class artifacts of
the development process. Model transformation includes model-to-text
transformation to generate code from models, text-to-model transformations to
parse textual representations to model representations, model extraction to
derive higher-level models from legacy code, and model-to-model transformations
to normalize, weave, optimize, simulate and refactor models, as well as to
translate between modeling languages.

Model transformation encompasses a variety of technical spaces, including
modelware, grammarware, and XML-ware, a variety of transformation
representations including graphs, trees, and DAGs, and a variety of
transformation paradigms including rule-based graph transformation,
term rewriting, and implementations in general-purpose programming languages.

The study of model transformation includes foundations, semantics, structuring
mechanisms, and properties (such as modularity, composability, and
parameterization) of transformations, transformation languages, techniques and
tools. An important goal of the field is the development of high-level
declarative model transformation languages, providing model representations of
transformations that are amenable to 'higher-order' model transformation.
To achieve impact on software engineering practice, tools and methodologies to
integrate model transformation into existing development environments and
processes are required. ICMT is the premier forum for the presentation of
contributions that advance the state-of-the-art in the field of model
transformation and aims to bring together researchers from all areas of model
transformation.

Topics
------
Topics of interest include, but are not limited to:

* Transformation paradigms and languages
* graph rewriting, tree rewriting, attribute grammars
* rule-based, declarative, imperative, functional
* textual, graphical
* pattern matching
* transformation by example
* modularity, reusability, and composition
* comparison of transformation languages
* theoretical foundations

* Transformation algorithms and strategies
* model representations: graphs, dags, trees
* bidirectional transformation
* incremental transformation
* scalability
* optimization
* termination and confluence
* higher-order transformation
* evolution of transformations

* Implementation and tools
* design of transformations and transformation languages
* verification, validation and testing of transformations

* Applications and case studies
* refactoring
* aspect weaving
* model comparison, differencing and merging
* round-trip engineering/change propagation
* co-evolution of models and meta-models
* reverse engineering (code-to-model)
* code generation by model transformation

* Industrial experience reports

* Empirical studies


Invited Speaker
---------------
James F. Terwilliger (Microsoft Corporation, USA)

Important dates
---------------
* Abstract submission: 16 January 2012
* Paper submission: 23 January 2012
* Notification of acceptance: 7 March 2012
* Camera-ready version due: 23 March 2012
* Conference dates: May 28 - 29

Submission guidelines
---------------------
All contributions will be subject to a rigorous selection process by the
international Program Committee, with an emphasis on originality, practicality
and overall quality.
Papers should clearly indicate their contributions with respect to previous
work. Each paper will be reviewed by at least 3 committee members. All submissions
should follow the LNCS format, be in PDF, and should include the authors' names,
affiliations and contact details. The submission web site is:

https://www.easychair.org/account/signin.cgi?conf=icmt2012


Two kinds of submissions are sought:

* Research papers: Up to 15 pages long.

* Tool demonstration papers: Up to 7 pages long.

Tool demonstration papers should describe novel and state-of-the-art tools,
related to model transformation. Submissions should consist of two parts. The
first part, no more than 7 pages, should describe the tool presented (please
include the URL of the tool if available). This part will be included in the
proceedings. The second part, no more than 5 pages, should explain how
the demonstration will be carried out, including screen dumps and examples.
This part will not be included in the proceedings, but will be evaluated.

As in previous editions of ICMT, we intend to publish proceedings in the
Springer LNCS series. Moreover, a special issue with a selection of the best
papers from the conference will be published in the Journal on Software and
Systems Modeling (Springer).

Organization
------------
PC chairs:
* Zhenjiang Hu, National Institute of Informatics (Japan)
* Juan de Lara, Universidad Autónoma de Madrid (Spain)

Web chair:
* Davide di Ruscio. Università degli Studi dell'Aquila (Italy)

Publicity chair:
* Jesús Sánchez Cuadrado. Universidad Autónoma de Madrid (Spain)

Steering committee:
* Jean Bézivin
* Martin Gogolla
* Jeff Gray
* Richard Paige
* Alfonso Pierantonio
* Laurence Tratt
* Antonio Vallecillo

Program Committee:
* Vasco Amaral Universidade Nova de Lisboa (Portugal)
* Don Batory The University of Texas at Austin (USA)
* Xavier Blanc Université Bordeaux 1 (France)
* Jordi Cabot INRIA/École des Mines de Nantes (France)
* Antonio Cicchetti Malardalen University (Sweden)
* Benoit Combemale University of Rennes 1 (France)
* Alcino Cunha Minho University (Portugal)
* Alexander Egyed Johannes Kepler University (Austria)
* Gregor Engels Universität Paderborn (Germany)
* Claudia Ermel TU Berlin (Germany)
* Jesus Garcia-Molina Universidad de Murcia (Spain)
* Sebastien Gerard CEA LIST (France)
* Pieter Van Gorp TU Eindhoven (The Netherlands)
* Esther Guerra Universidad Autónoma de Madrid (Spain)
* Reiko Heckel University of Leicester (UK)
* Soichiro Hidaka National Institute of Informatics (Japan)
* Gerti Kappel TU Wien (Austria)
* Garbor Karsai Vanderbilt University (USA)
* Dimitris Kolovos University of York (UK)
* Thomas Kuehne Victoria University of Wellington (New Zealand)
* Ivan Kurtev University of Twente (The Netherlands)
* Ralf Laemmel University of Koblenz-Landau (Germany)
* Leen Lambers Hasso-Plattner-Institut (Germany)
* Bernhard Rumpe RWTH Aachen University (Germany)
* Davide Di Ruscio University of L'Aquila (Italy)
* Andy Schürr TU Darmstadt (Germany)
* Jim Steel University of Queensland (Australia)
* Perdita Stevens University of Edinburgh (UK)
* Gabriele Taentzer Philipps-Universität Marburg (Germany)
* Daniel Varro TU Budapest (Hungary)
* Janis Voigtländer University of Bonn (Germany)
* Hironori Washizaki Waseda University (Japan)
* Jules White Virginia Tech (USA)
* Yijun Yu Open University (UK)
* Haiyan Zhao Peking University (China)
* Jianjun Zhao Shanghai Jiaotong University (China)