GT-VMT09: abstracts due December 5

[Artur Boronat-2]

###### abstracts - December 5, papers - December 12 ######

###### Call for Papers ######

8th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT 2009)

http://www.cs.le.ac.uk/events/gtvmt09/

Satellite Event of ETAPS 2009, York, UK, March 28 - 29, 2009


Scope
-----

GT-VMT 2009 is the eighth 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. 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 semantic level
(e.g., for model analysis, transformation, and consistency management) in
different domains, such as UML, Petri nets, Graph Transformation or Business
Process/Workflow Models. 

This year's workshop will have a special focus on visualisation, simulation, and verification of domain-specific languages (DSLs) to improve the automation and quality in model-driven and/or service-oriented processes.

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


* formal definition of visual DSLs (incl. meta-modeling, grammars, graphical parsing, etc.);
* static semantics of visual DSLs (incl. OCL, graph patterns, etc.);
* dynamic semantics of visual DSLs (incl. simulation, compilation, etc.);
* model transformations (within and) between DSLs and their application in model-driven development;
* visual DSL analysis (incl. verification & validation, static & dynamic analysis techniques);
* model/graph-based approaches to novel architectural paradigms like service-oriented,
GRID, and P2P computing, context-aware and adaptive applications, etc.;
* application of graph transformations and visual modeling techniques in engineering, biology, and medicine;
* case studies and novel application areas;
* tool support and efficient algorithms.


Important Dates
----------------
December 5, 2008  Abstract Submission
December 12, 2008  Paper Submission Deadline
January 23, 2009  Notification of Acceptance
February 13, 2009  Camera Ready Version
February 13, 2009  Deadline for Early Registration
March 28-29, 2009  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://www.easychair.org/conferences/?conf=gtvmt09 .

Organizers:
--------------
Artur Boronat, University of Leicester, aboronat@...
Reiko Heckel, University of Leicester, reiko@...


Program Committee:
-----------------
Paolo Baldan (University of Padova, Italy)
Paolo Bottoni (University of Rome, Italy)
Andrea Corradini (University of Pisa, Italy)
Claudia Ermel (TU Berlin, Germany)
Gregor Engels (Univ. Paderborn, Germany)
Holger Giese (HPI Potsdam, Germany)
Gabor Karsai (Vanderbilt University, US)
Jochen Kuester (IBM Zuerich Research)
Juan de Lara (University of Madrid, Spain)
Tihamér Levendovszky (TU Budapest, Hungary)
Mark Minas (Universitaet der Bundeswehr Muenchen, Germany)
Francesco Parisi-Presicce (University of Rome, Italy)
Arend Rensink (Uni. of Twente, Netherlands)
Gabriele Taentzer (Univ. of Marburg, Germany)
Dániel Varró (TU Budapest, Hungary)
Erhard Weinell (RWTH Aachen University)
Martin Wirsing (LMU Muenchen, Germany)
Albert Zuendorf (Univ. of Kassel, Germany)


For more information, please contact Reiko Heckel or Artur Boronat
( {reiko,aboronat}@... )

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users