CFP - GTVMT 2007



CFP - GTVMT 2007

From: Karsten Ehrig <karsten_at_mcs.le.ac.uk>
Date: Tue, 17 Oct 2006 00:13:23 +0200
Message-ID: <45340403.7040203@mcs.le.ac.uk>
Call for Papers
---------------


6th International Workshop on Graph Transformation and Visual Modeling 
Techniques (GT-VMT 2007)
-----------------------------------------------------------------------------------------------

WWW: http://www.cs.le.ac.uk/events/GTVMT07

Satellite Event of ETAPS 2007, March 24 - April 1, 2007, Braga, Portugal

31 March - 1 April 2007


Scope
-----

GT-VMT 2007 is the sixth 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. Due to the 
variety of languages and methods used in different domains, the aim of 
the workshop is to promote engineering approaches that starting from 
high-level specifications and robust formalizations allow for the design 
and the implementation of such visual modeling techniques, hence 
providing effective tool support at the semantic level (e.g., for model 
analysis, transformation, and consistency management). Contributions are 
welcome from communities working on popular visual modeling notations 
like UML, Petri nets, Graph Transformation, Business Process/Workflow 
Models.

This year's workshop will have an additional focus on application of 
graph transformation and visual modeling techniques in engineering, 
biology, and medicine.

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

* visual language definition (incl. meta-modeling, grammars, graphical 
parsing, etc.)
* static semantics of visual languages (incl. OCL, graph patterns, etc.)
* dynamic semantics of visual languages (incl. simulation, animation, 
compilation, etc.)
* model transformations
* visual language analysis (incl. verification & validation, static 
analysis techniques)
* model / graph-based approaches to service-oriented computing and GRID 
architectures
* application of graph transformations and visual modeling techniques in 
engineering, biology, and medicine
* case studies and novel application areas
* tool support

Important Dates
---------------
December 12, 2006                 Abstract Submission
December 19, 2006               Paper Submission Deadline
January 24, 2007             Notification of Acceptance
February 10, 2007            Camera Ready Version
31 March - 1 April 2007         Time of the Workshop


Submissions
-----------

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 http://eceasst.cs.tu-berlin.de/template/.

The online submission and review system is available at
http://ag-schaefer.upb.de/Tagungen/2007/gt-vmt2007/myreview/.


Program Committee
-----------------

Paolo Baldan (University of Venice, Italy)
Roberto Bruni (University of Pisa, Italy)
Andrea Corradini (University of Pisa, Italy)
Hartmut Ehrig (TU Berlin, Germany)
Gregor Engels (Univ. Paderborn, Germany)
Reiko Heckel (University of Leicester, UK)
Gabor Karsai (Vanderbilt University, US)
Jochen Küster (IBM Zürich Research)
Mark Minas (Univ. München, Germany)
Jörg Niere (Univ. of Siegen, Germany)
Francesco Parisi-Presicce (University of Pisa, Italy)
Arend Rensink (Uni. of Twente, Netherlands)
Andy Schürr (TU Darmstadt, Germany)
Gabi Taentzer (TU Berlin, Germany)
Hans Vangheluwe (McGill University in Montreal, Canada)
Daniel Varró (TU Budapest, Hungary)
Bernhard Westfechtel (Univ. of Bayreuth, Germany)
Martin Wirsing (Univ. München, Germany)
Albert Zündorf (Univ. of Kassel, Germany)


Organizers
----------

Holger Giese
University of Paderborn
hg@upb.de

Karsten Ehrig
University of Leicester
karsten@mcs.le.ac.uk
Received on Mon 16 Oct 2006 - 23:13:23 BST