--
=====================================================================
Dr. Roberto Bruni
Computer Science Department Phone: +39 050 2212785
University of Pisa Fax: +39 050 2212726
Largo B. Pontecorvo, 3 Email: [EMAIL PROTECTED]
I-56127 Pisa - ITALY WWW: http://www.di.unipi.it/~bruni
=====================================================================
"Different people define different things differently"
=====================================================================
[ Apologies for multiple copies ]
============================================================
C A L L F O R P A P E R S
5th International Workshop on
Graph Transformation and Visual Modeling Techniques
(http://www.inf.mit.bme.hu/GT-VMT2006)
Vienna, Austria
April 1-2, 2006
(A satellite event of ETAPS 2006)
******************************************
** ELECTRONIC SUBMISSION NOW OPEN **
******************************************
------------------------------------------------------------
Important Dates:
December 12, 2005 Submission Deadline
January 16, 2006 Notification of Acceptance
February 10, 2006 Camera Ready Version
April 1 - 2 2006 Time of the Workshop
Aim 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
Submissions
Authors are invited to submit extended abstracts of 5 to 10 pages
using the ENTCS stylesheet (see http://www.entcs.org/) in PDF
(preferred) or PS format.
Contributions should report about ongoing research in the areas of
graph transformation and visual modeling techniques according to the
scope and objectives of the workshop. Position papers and
contributions making methodological statements are strongly
encouraged.
The electronic submission system is now open and available at
https://finwe.inf.mit.bme.hu/gtvmt2006
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.
Invited Speakers:
We are glad to announce that two invited talks will also be part of the
GT-VMT 2006 program given by
Jeff Magee (Imperial College, London, UK)
Jana Kohler (IBM Research, Zurich, Switzerland)
Organizers:
Roberto Bruni University of Pisa, Italy
Daniel Varro TU Budapest, Hungary
Program Committee:
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 Univ. 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 Varro TU Budapest, Hungary [co-chair]
Martin Wirsing Ludwig-Maximilians-Univ. München, Germany
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/
History:
This workshop is the fifth in the series of GT-VMT workshops:
* GT-VMT 2000 (http://www.di.unipi.it/GT-VMT/) in Geneva (Switzerland)
* GT-VMT 2001 (http://www.elet.polimi.it/GT-VMT/) on Crete (Greece)
* GT-VMT 2002 (http://www2.cs.fau.de/GTVMT02/) in Barcelona (Spain)
* GT-VMT 2004 (http://wwwcs.uni-paderborn.de/cs/ag-engels/GT-VMT04/)
in Barcelona (Spain) at ETAPS 2004.
Contact:
For any questions, please do not hesitate to contact us at:
gtvmt[AT]finwe.inf.mit.bme.hu
(where [AT] should be substituted with @, as usual nowadays
to prevent spam)
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
