ICMT 2018 - 11th International Conference on Model Transformations - 2nd Call for Papers

by Jesús Sánchez Cuadrado, Feb. 3, 2018

CFP for the ICMT'18 conference.

 ICMT 2018: 11th International Conference on Model Transformation
   Website: http://www.model-transformation.org
    Twiter: https://twitter.com/icmtconf

 co-located with STAF 2018

 June 25-28, 2018, Toulouse (France)


Abstract submission: February 23, 2018
Paper submission: March 2, 2018
Notification of acceptance: April 9, 2018
Camera-ready version due: April 23, 2018
Conference: June 25-27, 2018


Modeling 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. Transformations also play a key
role in analyzing models to reveal conceptual flaws or highlight
quality bottlenecks and in integrating heterogeneous tools into
unified tool chains.

Model transformation encompasses a variety of technical spaces,
including modelware, grammarware, dataware, and ontoware, a variety of
model representations, e.g., trees vs. graphs, and a variety of
transformation paradigms including rule-based transformations, term
re-writing, and manipulations of objects in general-purpose
programming languages. Moreover, in other fields like compiler
construction the use of transformations is essential. Identifying
means to reuse and share knowledge between fields is also of interest.

The study of model transformation includes foundations, structuring
mechanisms, and properties, such as modularity and composability,
transformation languages, techniques, and tools. An important goal of
the field is the development of high-level model transformation
languages, providing transformations that are amenable to higher-order
model transformations or tailored to specific transformation
problems. At the same time, usable and scalable verification
techniques for model transformations are essential for the practical
development of the field. The efficient execution of model queries and
transformations by scalable transformation engines is also a key
challenge. Novel algorithms as well as innovative (e.g., distributed)
execution strategies and domain-specific optimizations are sought in
this respect.


ICMT'18 solicits two different types of papers:

* Research and application papers (up to 15 pages). Papers in this
  category should describe novel and scientifically rigorous
  contributions to the model transformation field and their validation
  (for research papers) or report on applications of
  model-transformation technology, and identify and discuss important
  lessons learnt (for application papers). Of special interest are
  experience papers that report on industrial applications of model

* Exploratory and tool demonstration papers (up to 5 pages). Papers in
  this category should describe new, unconventional approaches that
  fundamentally challenge established research directions and the
  current state of practice, but which are at an early stage of
  investigation (exploratory papers) or novel tools or novel features
  of state-of-the-art model transformation tools. The published papers
  will be clearly marked as "exploratory" or "tool
  demonstration". Supplementary information, which will not be
  published but may be used in the review, may be provided alongside
  the submission. For tool papers, some such supplementary information
  is mandatory, in particular how the demonstration will be carried
  out, including screenshots and examples, and a link to a 3-10
  minutes-long YouTube video that demonstrates the use of the tool.

Submission page: https://easychair.org/conferences/?conf=icmt-2018


Topics of interest include, but are not limited to:

Transformation paradigms and languages:
  - graph rewriting, tree rewriting, attribute grammars
  - rule-based, declarative, imperative, and functional
  - textual, graphical
  - model queries, pattern matching
  - transformation by example/demonstration
  - modularity, reusability, and composition
  - comparison of transformation languages
  - theoretical foundations
  - interplay with other fields, e.g., compiler construction and
    compiler verification

Transformation algorithms and strategies:
  - bidirectional transformation
  - incremental transformation
  - scalability and optimization
  - termination and confluence
  - higher-order transformation
  - transformation chains
  - non-functional aspects of transformations

Development of transformations:
  - specification, verification, and validation
  - verification and validation
    (incl. testing, debugging, termination, confluence, metrics)
  - evolution
  - development processes
  - tool support

Pragmatic aspects:
  - refactoring
  - aspect weaving
  - model comparison, differencing, and merging
  - model synchronization and change propagation
  - co-evolution of models, metamodels, and transformations
  - round-trip/reverse/forward engineering

Applications and case studies:
  - benchmarks
  - industrial experience reports
  - empirical studies


The conference proceedings will be published in the Springer Lecture
Notes in Computer Science series. Moreover, an award will be presented
to the best paper contributed to the conference, and a special issue
with an extended version of the best papers from the conference is


The best papers of the conference will be invited to publish an
extended version in the Journal on Software and Systems Modelling
(SoSyM) and/or -as appropriate- the Foundations for Mastering Change


The keynote will be given by Markus Voelter.  He is a recognized
expert in the areas of language engineering, modeling and model-driven
software development, software architecture and product line
engineering. He is also very well known for his work on MPS developing
products like mbeddr and IETS3. He has published numerous papers in
peer-reviewed conferences and journals, has written several books on
the subject and spoken at many industry conferences world-wide.  In
the keynote he will talk about "The design and evolution of KernelF".


PC Chairs

 - Arend Rensink, University of Twente (The Netherlands)
 - Jesús Sánchez Cuadrado, University of Murcia (Spain)

Programme Committee

  - Anthony Anjorin, University of Paderborn (Germany)
  - Rubby Casallas, Universidad de los Andes (Colombia)
  - Marsha Chechik, University of Toronto (Canada)
  - Antonio Cicchetti, Mälardalen University (Sweden)
  - Benoit Combemale, IRISA, Université de Rennes 1 (France)
  - Davide Di Ruscio, University of L’Aquila (Italy)
  - Juergen Dingel, Queen's University (Canada)
  - Gregor Engels, University of Paderborn (Germany)
  - Martin Gogolla, University of Bremen (Germany)
  - Esther Guerra, Universidad Autónoma de Madrid (Spain)
  - Soichiro Hidaka, Hosei University (Japan)
  - Ludovico Iovino, Gran Sasso Science Institute (Italy)
  - Leen Lambers, University of Potsdam (Germany)
  - Frédéric Jouault, ESEO (France)
  - Timo Kehrer, University of Siegen (Germany)
  - Dimitris Kolovos, University of York (UK)
  - Yngve Lamo, Bergen University College (Norway)
  - Tanja Mayerhofer, Vienna University of Technology (Austria)
  - James McKinna, University of Edinburgh (UK)
  - Richard Paige, University of York (UK)
  - Bernhard Rumpe, RWTH Aachen University (Germany)
  - Houari Sahraoui, Université De Montréal (Canada)
  - Andy Schürr, Darmstadt University of Technology (Germany)
  - Eugene Syriani, Université de Montréal (Canada)
  - Gabriele Taentzer, University of Marburg (Germany)
  - Massimo Tisi, INRIA, École des Mines de Nantes (France)
  - Dániel Varró, Budapest University of Technology and Economics (Hungary)
  - Mark Van Den Brand, Eindhoven University of Technology (The Netherlands)
  - Hans Vangheluwe, University of Antwerp (Belgium)
  - Edward Willink, Willink Transformations Ltd. (UK)
  - Manuel Wimmer, Vienna University of Technology (Austria)
  - Vadim Zaytsev, Raincode Labs (Belgium)
  - Steffen Zschaler, King’s College London (UK)