posted by user: mtt || 3692 views || tracked by 8 users: [display]

GT-VMT 2013 : 12th International Workshop on Graph Transformation and Visual Modeling Techniques


When Mar 23, 2012 - Mar 24, 2012
Where Rome, Italy
Abstract Registration Due Dec 7, 2012
Submission Deadline Dec 14, 2012
Notification Due Jan 18, 2013
Final Version Due Feb 1, 2013
Categories    software engineering   modeling

Call For Papers

Call for Papers: GT-VMT 2013
12th International Workshop on Graph Transformation and Visual Modeling
Aims and Scope:
GT-VMT 2013 is the twelfth workshop of a series that serves as a forum for
all researchers and practitioners interested in the use of visual notations
(especially graph-based), techniques and tools for the specification,
modeling, validation, manipulation and verification of complex systems.

The aim of the workshop is to promote engineering approaches that provide
effective sound tool support for visual modeling languages, enhancing formal
reasoning at the syntactic as well as semantic level (e.g., for model
specification, model analysis, model transformation, and model consistency
management) in different domains, such as UML, Petri Nets, Graph
Transformation or Business Process/Workflow Models.

This year's workshop has a special theme of the analysis of
non-functional / extra-functional / quality properties like
performance, real-time, safety, reliability, energy consumption. We
particularly encourage submissions that focus on the definition and
the evaluation of such properties using visual/graph specification
techniques, ranging from underlying theory through to their utility in
complex system design.

GT-VMT 2013 is co-located with ETAPS 2013, the European Joint Conferences
on Theory and Practice of Software (see, in
Rome, Italy.
Topics of Interest:
As a summary, topics relevant to the scope of the workshop include (but are
not restricted to) the following:
+ visual languages definition and syntax (incl. meta-modelling, grammars and
graphical parsing);
+ static and dynamic semantics of visual languages (incl. OCL, graph
constraints, simulation, animation, compilation);
+ visual/graph-based analysis in software engineering (incl. testing,
verification and validation, static and dynamic analysis techniques);
+ visual/graph constraints (incl. definition, expressiveness, analysis
techniques involving constraints);
+ model transformations and their application in model-driven development (incl.
in particular, transformations between graphical and textual formalisms);
+ visual modeling techniques and graph transformation applied to
+ visual modeling techniques and graph transformations for systems with
quality properties like performance, real-time, safety, reliability, energy consumption
+ case studies and novel application areas (e.g. within engineering,
biology, etc);
+ tool support and efficient algorithms.
Invited Speakers:
We are happy that Andrea Corradini, University of Pisa (Italy), and
Holger Giese, University of Potsdam (Germany), have agreed to give
invited talks.
Paper Submission Details:
The proceedings of this workshop will be published in the journal of
Electronic Communications of the EASST. Papers should not exceed 12 pages.

For preparing your manuscript, the ECEASST templates for GT-VMT 2013 can
be downloaded from

Please submit your abstract and paper using the EasyChair page for the workshop

Special Issue:
The authors of the best papers of the workshop will be invited to
submit a revised and extended version of their paper to a special issue in the
Journal "Science of Computer Programming" subject to further review.
Important Dates:
Abstract Submission: Dec 7, 2012
Paper Submission: Dec 14, 2012
Notification: Jan 18, 2013
Camera ready: Febr 1, 2013
Workshop Dates: March 23-24, 2013
Program Chairs:
Matthias Tichy, Chalmers University of Technology and University of Gothenburg (Sweden)
Leila Ribeiro, Universidade Federal do Rio Grande do Sul (Brazil)
Program Committee:
Paolo Baldan, University of Padova (Italy)
Steffen Becker, University of Paderborn (Germany)
Harrie Jan Sander Bruggink, University of Duisburg-Essen (Germany)
Juan De Lara, Universidad Autónoma de Madrid (Spain)
Gregor Engels, University of Paderborn (Germany)
Claudia Ermel, TU Berlin (Germany)
Lars Grunske, University of Stuttgart (Germany)
Reiko Heckel, University of Leicester (UK)
Ekkart Kindler, Technical University of Denmark (Denmark)
Jochen Küster, IBM Research Zurich (Switzerland)
Barbara König, University of Duisburg-Essen (Germany)
Rodrigo Machado, Federal University of Pampa (Brazil)
Mark Minas, Universität der Bundeswehr München (Germany)
István Ráth, TU Budapest (Hungary)
Arend Rensink, University of Twente (Netherlands)
Andy Schürr, TU Darmstadt (Germany)
Gabriele Taentzer, Philipps-Universität Marburg (Germany)
Further Information:
Home page:
CfP as PDF:
Sponsored by ETAPS

Related Resources

EI/SCOPUS-CGIIT 2021   5th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2021)
ITE 2021   2nd International Conference on Integrating Technology in Education
ASONAM 2020   The 2020 IEEE/ACM International Conference on. Advances in Social Networks Analysis and Mining
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
TextGraphs 2020   14th Workshop on Graph-Based Natural Language Processing (TextGraphs-14)
IJCSES 2020   International Journal of Computer Science and Engineering Survey
ICGT 2020   International Conference on Graph Transformation
ACM--ADIP--EI Compendex, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus
Fintech 2020   Sustainaility (Q2): Fintech: Recent Advancements in Modern Techniques, Methods and Real-World Solutions
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core