GT-VMT 2007

GT-VMT 2007 logo

6th International Workshop on Graph Transformation and Visual Modeling Techniques

March 31 - April 1  2007, Braga, Portugal

Home page: http://www.cs.le.ac.uk/events/GTVMT07

A satellite event of

ETAPS 2007 logo

Supported by


[ aims | call for papers | history | dates | program committee | submissions | location | contact ]


Aims and 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. metamodelling, 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

Call for Papers

The call for papers can be downloaded from here (pdf, txt).

Program and Pre-Proceedings

The workshop program is available from here.

The electronic version of the preliminary workshop proceedings is downloadable from here in pdf.

History

This workshop is the sixth in the series of GT-VMT workshops:

Important Dates

December 12, 2006   Abstract Submission
December 22, 2006   Paper Submission Deadline
January 26, 2007   Notification of Acceptance
February 17, 2007   Camera Ready Version
February 12, 2007   Deadline for Early Registration
March 31 - April 1, 2007   Time of the Workshop

 

Invited speakers

We are glad to announce that two invited talks will be part of the technical program of GT-VMT 2007 given by
  • Gheorghe Paun (Romanian Academy and University of Sevilla, Spain)
    Natural Computing and Graph Transformation with focus on Membrane Computing.
  • 2nd Invited Talk
    Topic to be announced.

Program Committee

The PC consists of members of the graph transformation community and external experts for complementary techniques and application areas.

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

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 here.

The online submission and review system is available here.

Location

GT-VMT 2007 will be held in Braga, Portugal in March 31 - April 1, 2007. It is a satellite workshop of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2007 web page:

http://www.di.uminho.pt/etaps07/

 

Contact Info

Please do not hesitate to contact the organizers if you have any questions:
Holger Giese and Karsten Ehrig (where [AT] should be substituted with @, as usual nowadays).