============================================= Call for Papers: GT-VMT 2013 12th International Workshop on Graph Transformation and Visual Modeling Techniques March 23-24 2013, Rome/Italy
(Proceedings published by EASST, selected papers invited to a special issue of Science of Computer Programming) http://www.cse.chalmers.se/~tichy/gtvmt2013/ ============================================= Important Dates: ---------------- Abstract Submission: Dec 7, 2012 Paper Submission: Dec 14, 2012 Notification: Jan 18, 2013 Camera ready: Febr 1, 2013 Workshop Dates: March 23-24, 2013 ============================================= Aims and Scope: --------------- GT-VMT 2013 is the twelfth workshop of a series that serves as a forum for all researchers and practitioners interested in the use of visual notations (especially graph-based), 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 syntactic as well as semantic level (e.g., for model specification, model analysis, model transformation, and model consistency management) in different domains, such as UML, Petri Nets, Graph Transformation or Business Process/Workflow Models. This year's workshop has a special theme of the analysis of non-functional / extra-functional / quality properties like performance, real-time, safety, reliability, energy consumption. We particularly encourage submissions that focus on the definition and the evaluation of such properties using visual/graph specification techniques, ranging from underlying theory through to their utility in complex system design. GT-VMT 2013 is co-located with ETAPS 2013, the European Joint Conferences on Theory and Practice of Software (see http://www.etaps.org/2013/), in Rome, Italy. -------------------------------------------------------------------------------- Topics of Interest: ------------------- As a summary, topics relevant to the scope of the workshop include (but are not restricted to) the following: + visual languages definition and syntax (incl. meta-modelling, grammars and graphical parsing); + static and dynamic semantics of visual languages (incl. OCL, graph constraints, simulation, animation, compilation); + visual/graph-based analysis in software engineering (incl. testing, verification and validation, static and dynamic analysis techniques); + visual/graph constraints (incl. definition, expressiveness, analysis techniques involving constraints); + model transformations and their application in model-driven development (incl. in particular, transformations between graphical and textual formalisms); + visual modeling techniques and graph transformation applied to patterns; + visual modeling techniques and graph transformations for systems with quality properties like performance, real-time, safety, reliability, energy consumption + case studies and novel application areas (e.g. within engineering, biology, etc); + tool support and efficient algorithms. -------------------------------------------------------------------------------- Invited Speakers: ----------------- We are happy that Andrea Corradini, University of Pisa (Italy), and Holger Giese, University of Potsdam (Germany), have agreed to give invited talks. -------------------------------------------------------------------------------- Paper Submission Details: ------------------------- The proceedings of this workshop will be published in the journal of Electronic Communications of the EASST. Papers should not exceed 12 pages. For preparing your manuscript, the ECEASST templates for GT-VMT 2013 can be downloaded from http://journal.ub.tu-berlin.de/template/ Please submit your abstract and paper using the EasyChair page for the workshop https://www.easychair.org/account/signin.cgi?conf=gtvmt2013 -------------------------------------------------------------------------------- Special Issue: ------------------------- The authors of the best papers of the workshop will be invited to submit a revised and extended version of their paper to a special issue in the Journal "Science of Computer Programming" subject to further review. -------------------------------------------------------------------------------- Program Chairs: --------------- Matthias Tichy, Chalmers University of Technology and University of Gothenburg (Sweden) Leila Ribeiro, Universidade Federal do Rio Grande do Sul (Brazil) -------------------------------------------------------------------------------- Program Committee: ------------------ Paolo Baldan, University of Padova (Italy) Steffen Becker, University of Paderborn (Germany) Harrie Jan Sander Bruggink, University of Duisburg-Essen (Germany) Juan De Lara, Universidad AutÛnoma de Madrid (Spain) Gregor Engels, University of Paderborn (Germany) Claudia Ermel, TU Berlin (Germany) Lars Grunske, University of Stuttgart (Germany) Reiko Heckel, University of Leicester (UK) Ekkart Kindler, Technical University of Denmark (Denmark) Jochen K¸ster, IBM Research Zurich (Switzerland) Barbara Kˆnig, University of Duisburg-Essen (Germany) Rodrigo Machado, Federal University of Pampa (Brazil) Mark Minas, Universit‰t der Bundeswehr M¸nchen (Germany) Istv·n R·th, TU Budapest (Hungary) Arend Rensink, University of Twente (Netherlands) Andy Sch¸rr, TU Darmstadt (Germany) Gabriele Taentzer, Philipps-Universit‰t Marburg (Germany) -------------------------------------------------------------------------------- Further Information: -------------------- Email: gtvmt2...@easychair.org Home page: http://www.cse.chalmers.se/~tichy/gtvmt2013/ CfP as PDF: http://www.cse.chalmers.se/~tichy/gtvmt2013/gt-vmt2013-cfp-a4.pdf -------------------------------------------------------------------------------- Sponsored by ETAPS -------------------------------------------------------------------------------- Leila Ribeiro, Associate Professor Instituto de informática Universidade Federal do Rio Grande do Sul, Brazil Phone: +55 51 3308 9498 ---- [[ 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: ]] [[ petri...@informatik.uni-hamburg.de ]]
