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) 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) Organizers ---------- Holger Giese University of Paderborn hg@upb.de Karsten Ehrig University of Leicester karsten@mcs.le.ac.uk