GT-VMT 2006

GT-VMT 2006 logo

5th International Workshop on Graph Transformation and Visual Modeling Techniques

April 1 - 2  2006, Vienna, Austria

Home page: http://www.inf.mit.bme.hu/GT-VMT2006

Slides of the invited speakers are available!

A satellite event of

ETAPS 2006 logo

Supported by

SegraVis logo

and


[ aims | programme | history | dates | program committee | submissions | location | contact ]


Aims and Scope

GT-VMT 2006 is the fifth 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 Models for Mobile Systems and Services (including Service-Oriented and GRID computing architectures) where huge and highly dynamic graph-like structures offer a challenging ground for the application of graph transformation techniques and tools.

As a summary, topics relevant to the scope of the workshop include (but not restricted to) the following:

  • 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 (within and) between languages
  • visual language analysis (incl. verification & validation, static analysis techniques)
  • model / graph-based approaches to service-oriented computing and GRID architectures
  • case studies and novel application areas
  • tool support and efficient algorithms

Preliminary Programme

Preliminary program of the workshop is available from here.

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

History

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

Important Dates

December 12, 2005   Abstract Submission Closed
December 19, 2005   Paper Submission Deadline
January 24, 2006   Notification of Acceptance
February 10, 2006   Camera Ready Version
February 20, 2006   Deadline for Early Registration
April 1 - 2 2006 next to do: 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 2006 given by
  • Jeff Magee (Imperial College, London, UK)  (Presentation slides)
  • Jana Koehler (IBM Research, Zurich, Switzerland)

Program Committee

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

Marco Aldinucci (ISTI - CNR, Pisa, Italy)
Paolo Baldan (University of Venice, Italy) 
Luciano Baresi (Politecnico di Milano, Italy)
Roberto Bruni (University of Pisa, Italy) [co-chair]
Andrea Corradini (University of Pisa, Italy)
Hartmut Ehrig (TU Berlin, Germany)
Gregor Engels (University of Paderborn, Germany)
Reiko Heckel (University of Leicester, UK)
Gabor Karsai (Vanderbilt University, US)
Mark Minas (Universität der Bundeswehr München, Germany)
Francesco Parisi-Presicce (George Mason University, US)
Arend Rensink (University of Twente, Netherlands)
Andy Schürr (University of Darmstadt, Germany)
Gabi Taentzer (TU Berlin, Germany)
Daniel Varró (TU Budapest, Hungary) [co-chair]
Martin Wirsing (Ludwig-Maximilians-Universität München, Germany)

Submissions

Accepted contributions will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science. A preliminary version of the issue will be available at the workshop.

Final versions of LONG papers should not exceed 12 pages. The page limit for SHORT papers is 10 pages.

Authors are kindly requested to use  this ENTCS stylesheet when preparing the final version of their papers.   

The final versions of papers including all Latex sources should be sent directly to Roberto Bruni (bruni [AT] di.unipi.it).

The electronic submission system is available from HERE.

Location

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

http://www.complang.tuwien.ac.at/etaps06/

For information about Vienna, see among others the city web page

http://www.wien.gv.at/english/

 

Contact Info

Program Committee pages will be accessible from here later on.

Please do not hesitate to contact the organizers if you have any questions:
gtvmt[AT]finwe.inf.mit.bme.hu (where [AT] should be substituted with @, as usual nowadays)