From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2444 Path: news.gmane.org!not-for-mail From: Reiko Heckel Newsgroups: gmane.science.mathematics.categories Subject: CfP: GT-VMT @ ETAPS 2004 Date: Fri, 19 Sep 2003 09:59:29 +0200 Message-ID: <3F6AB761.7010707@uni-paderborn.de> NNTP-Posting-Host: main.gmane.org Content-Type: text/plain; charset=3DISO-8859-1; format=3Dflowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1241018666 4189 80.91.229.2 (29 Apr 2009 15:24:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:26 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Sep 19 14:48:19 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 19 Sep 2003 14:48:19 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1A0PKm-0004Vr-00 for categories-list@mta.ca; Fri, 19 Sep 2003 14:46:20 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 18 Original-Lines: 99 Xref: news.gmane.org gmane.science.mathematics.categories:2444 Archived-At: [apologies for multiply copies] Call for Papers: International Workshop on Graph Transformation and Visual Modeling Techniques http://www.upb.de/cs/ag-engels/GT-VMT04/ A satellite of ETAPS, March 27 - 28 2004, Barcelona, Spain supported by the SegraVis resarch training network http://www.segravis.org Scope and Objectives Effective applications of visual modelling techniques require tool support at a semantic level, e.g., for model analysis, transformation, and consistency management. Due to the variety of languages and methods used in different domains, an engineering approach is required which allows for the generation of such tools from high-level specifications. Graph transformations provide means to specify, at a conceptual level, complex operations on diagrams. Complementing this by techniques like * meta modelling (including OCL) * compiler construction * logic and algebraic semantics the workshop aims to bring together researchers from different communities to discuss their respective contributions to different aspects of modelling and modelling languages, like * syntax and well-formedness, * static and dynamic semantics, * analysis and verification, * refinement and transformations, and * integration and consistency of models. History This workshop is the third in the series of GT-VMT workshops: * GT-VMT 2000 in Geneva (Switzerland) at ICALP'00. * GT-VMT 2001 on Crete (Greece) at ICALP'01. * GT-VMT 2002 in Barcelona (Spain) at ICGT 2002. Program Committee The PC consist of members of the graph transformation community and external experts for complementary techniques and application areas. * Jan Aagedal (Norway) * Luciano Baresi (Italy) * Andrea Corradini (Italy) * Jose Fiadeiro (UK) * Martin Gogolla (Germany) * Martin Gro=DFe-Rhode (Germany) * Reiko Heckel (Germany) [chair] * Uwe Kastens (Germany) * Joost Kok (The Netherlands) * Mark Minas (Germany) * Andy Sch=FCrr (Germany) Submission Authors are invited to submit extended abstracts of 5 to 10 pages in ENTCS format until December 19, 2003 electronically via our submission web form (to be published here in due time). The 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. 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. Important Dates December 19, 2003 Submission Deadline January 23, 2004 Notification of Acceptance Februar 20, 2004 Camera Ready Version March 27 - 28 Time of the Workshop --=20 Dr. Reiko Heckel URL: www.upb.de/cs/reiko.html Universit=E4t Paderborn, E4.130 Tel: ++49-05251-60-3356 33095 Paderborn, Germany Fax: ++49-05251-60-3431 Visit www.segravis.org, home of the SegraVis Research Training Network. Apply for a grant in one of 12 attractive locations throughout Europe. Join the graph transformation mailing list at www.gratra.org/list.html.