Prof. Dr. Holger Giese

GT-VMT 2012

11th International Workshop on Graph Transformation and Visual Modeling Techniques, colocated to ETAPS 2012

GT-VMT 2012 is the eleventh 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 constraints, and we particularly encourage submissions that focus on visual/graph constraints, ranging from underlying theory through to their utility in complex system specification, validation and verification.

Important Dates:

Abstract Submission: December 11, 2011

Paper Submission: December 18, 2011

Notification to Authors: January 16, 2012

Camera Ready Submission: February 2, 2012

Workshop Dates: March 24-25, 2012