posted by user: aboronat || 1826 views || tracked by 10 users: [display]

GT-VMT 2009 : 8th International Workshop on Graph Transformation and Visual Modeling Techniques


When Mar 28, 2009 - Mar 29, 2009
Where York, UK
Abstract Registration Due Dec 15, 2008
Submission Deadline Dec 19, 2008
Notification Due Jan 23, 2009
Final Version Due Feb 13, 2009
Categories    software engineering   software   modeling   simulation

Call For Papers

Call for Papers

8th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT 2009)

Satellite Event of ETAPS 2009, York, UK, March 28 - 29, 2009



GT-VMT 2009 is the eighth workshop of a series that serves as a forum for all
researchers and practitioners interested in the use of graph-based notation,
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 semantic level (e.g.,
for model analysis, transformation, and consistency management) in different
domains, such as UML, Petri nets, Graph Transformation or Business
Process/Workflow Models.

This year's workshop will have a special focus on visualisation, simulation,
and verification of domain-specific languages (DSLs) to improve the automation
and quality in model-driven and/or service-oriented processes.

Suggested areas of interest include but are not limited to following topics:

* formal definition of visual DSLs (incl. meta-modeling, grammars, graphical parsing, etc.);
* static semantics of visual DSLs (incl. OCL, graph patterns, etc.);
* dynamic semantics of visual DSLs (incl. simulation, compilation, etc.);
* model transformations (within and) between DSLs and their application in model-driven
* visual DSL analysis (incl. verification & validation, static & dynamic analysis
* model/graph-based approaches to novel architectural paradigms like service-oriented,
GRID, and P2P computing, context-aware and adaptive applications, etc.;
* application of graph transformations and visual modeling techniques in engineering,
biology, and medicine;
* case studies and novel application areas;
* tool support and efficient algorithms.

Important Dates
December 15, 2008 (extended) Abstract Submission
December 19, 2008 (extended) Paper Submission Deadline
January 23, 2009 Notification of Acceptance
February 13, 2009 Camera Ready Version
February 13, 2009 Deadline for Early Registration
March 28-29, 2009 Time of the Workshop

The proceedings of this workshop will be published in the journal Electronic Communications
of the EASST. A preliminary version of the proceedings will be available at the workshop.
Papers should not exceed 12 pages. For preparing your manuscript, the EASST templates can
be downloaded at The online submission and review
system is available at

Artur Boronat, University of Leicester,
Reiko Heckel, University of Leicester,

Program Committee:
Paolo Baldan (University of Padova, Italy)
Paolo Bottoni (University of Rome, Italy)
Andrea Corradini (University of Pisa, Italy)
Claudia Ermel (TU Berlin, Germany)
Gregor Engels (Univ. Paderborn, Germany)
Holger Giese (HPI Potsdam, Germany)
Gabor Karsai (Vanderbilt University, US)
Jochen Küster (IBM Zürich Research)
Juan de Lara (University of Madrid, Spain)
Tihamér Levendovszky (TU Budapest, Hungary)
Mark Minas (Universität der Bundeswehr München, Germany)
Francesco Parisi-Presicce (University of Rome, Italy)
Arend Rensink (Uni. of Twente, Netherlands)
Gabriele Taentzer (Univ. of Marburg, Germany)
Dániel Varró (TU Budapest, Hungary)
Erhard Weinell (RWTH Aachen University)
Martin Wirsing (LMU München, Germany)
Albert Zündorf (Univ. of Kassel, Germany)

For more information, please contact Reiko Heckel or Artur Boronat ( {reiko,aboronat} )

Related Resources

Scopus-CGIIT 2019   2019 3rd International Conference on Graphics, Images and Interactive Techniques (CGIIT 2019)
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
ER 2019   38th International Conference on Conceptual Modeling
ORAJ 2018   Operations Research and Applications: An International Journal
IUI 2019   ACM Conference on Intelligent User Interfaces
ACM--CSAI--Ei Compendex, Scopus 2018   ACM--2018 2nd International Conference on Computer Science and Artificial Intelligence (CSAI 2018)--Ei Compendex, Scopus
KGSWC 2019   1st Iberoamerican Knowledge Graph and Semantic Web Conference
ACM--ICCMS--Ei, Scopus 2019   ACM--2019 The 11th International Conference on Computer Modeling and Simulation (ICCMS 2019)--Ei Compendex, Scopus
IJAB 2018   International Journal of Advances in Biology
Visual Intersections 3 2018   Visual Intersections 3 --- 11-13 of July 2018 in Durham, United Kingdom