Received: from rzcomm20.rz.tu-bs.de (rzcomm20.rz.tu-bs.de [134.169.9.66]) by George.iti.cs.tu-bs.de (8.13.4/8.13.4) with ESMTP id jAEGkd3I016178 for <coalgebras@iti.cs.tu-bs.de>; Mon, 14 Nov 2005 17:46:39 +0100 (MET) Received: from mailserver.di.unipi.it (apis.di.unipi.it [131.114.3.6]) by rzcomm20.rz.tu-bs.de (8.12.11/8.12.11) with ESMTP id jAEGkbjL025334 for <coalgebras@iti.cs.tu-bs.de>; Mon, 14 Nov 2005 17:46:37 +0100 (envelope-from bruni@di.unipi.it) Organization: Dipartimento di Informatica Received: from di.unipi.it (beyond [131.114.3.172]) (authenticated (0 bits)) by mailserver.di.unipi.it (8.11.6/8.11.6) with ESMTP id jAEGfnu11599; Mon, 14 Nov 2005 17:41:49 +0100 Message-ID: <4378BE49.1020508@di.unipi.it> Date: Mon, 14 Nov 2005 17:41:45 +0100 From: Roberto Bruni <bruni@di.unipi.it> User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040510 X-Accept-Language: en-us, en MIME-Version: 1.0 To: gtvmt@finwe.inf.mit.bme.hu Subject: GT-VMT 2006 - Second Call for Papers Content-Type: multipart/mixed; boundary="------------070603030909030302010008" X-MailScanner-Information: Please contact the ISP for more information X-MailScanner: Found to be clean X-MailScanner-SpamCheck: non spam, SpamAssassin (punteggio=-9.843, necessario 5, AWL 0.15, LINES_OF_YELLING 0.01, LOCAL_AUTH_RCVD -10.00) X-MailScanner-From: bruni@di.unipi.it X-PerlMx-Spam: Gauge=IIIIIII, Probability=7%, Report='__BAT_BOUNDARY 0, __C230066_P5 0, __CT 0, __CTYPE_HAS_BOUNDARY 0, __CTYPE_MULTIPART 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __SANE_MSGID 0, __STOCK_CRUFT 0, __USER_AGENT 0, __X_MAIL_SCANNER 0' X-Scanned-By: MIMEDefang 2.52 on 134.169.39.8 Status: O X-Status: X-Keywords: X-UID: 23 This is a multi-part message in MIME format. --------------070603030909030302010008 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit -- ===================================================================== Dr. Roberto Bruni Computer Science Department Phone: +39 050 2212785 University of Pisa Fax: +39 050 2212726 Largo B. Pontecorvo, 3 Email: bruni@di.unipi.it I-56127 Pisa - ITALY WWW: http://www.di.unipi.it/~bruni ===================================================================== "Different people define different things differently" ===================================================================== --------------070603030909030302010008 Content-Type: text/plain; name="gtvmt_2nd_cfp.txt" Content-Transfer-Encoding: 8bit Content-Disposition: inline; filename="gtvmt_2nd_cfp.txt" [ 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) --------------070603030909030302010008--