Posted on behalf of "Lambers, Leen" ([email protected]) -----
-------------------------------------------------------------------------------- Call for Participation: GT-VMT 2012 11th International Workshop on Graph Transformation and Visual Modeling Techniques -------------------------------------------------------------------------------- Aims and Scope: --------------- GT-VMT 2012 is the eleventh 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 constraints, and we particularly encouraged submissions that focus on visual/graph constraints, ranging from underlying theory through to their utility in complex system specification, validation and verification. GT-VMT 2012 is co-located with ETAPS 2012, the European Joint Conferences on Theory and Practice of Software (see http://www.etaps.org/2012/), in Tallinn, Estonia. -------------------------------------------------------------------------------- Invited Speakers: ----------------- We are pleased to announce that the following speakers, tightly linked with the history of the workshop, have accepted to give a presentation related to this year's special theme of constraints: Juan de Lara (Universidad Autónoma de Madrid, Spain): Bidirectional Transformation with Graphical Constraints Joint talk with First International Workshop on Bidirectional Transformations Gabriele Taentzer (University of Marburg, Germany): Generation of Meta Model Instances -------------------------------------------------------------------------------- Accepted for Presentation in Workshop Program: ---------------------------------------------- + Anthony Anjorin, Sebastian Oster, Ivan Zorcic and Andy Schürr. Using Graph Transformations to Optimize MoSo-PoLiTe + Paolo Bottoni and Francesco Parisi-Presicce. Modeling context with graph annotations + H. J. Sander Bruggink, Mathias Hülsbusch and Barbara König. Towards Alternating Automata for Graph Languages + Alexander Heußner. Towards Model Checking Communicating Processes - Run Graphs, Graph Grammars, and MSO + Arash Jalaliv, Amir Hossein Ghamarian and Arend Rensink. Incremental Pattern Matching for Regular Expressions + Karsten Gabriel, Pascal Lingnau and Claudia Ermel. Algebraic Approach to Timed Petri Nets + Niaz Hussein and Reiko Heckel. View-based Modelling and State-Space Generation for Graph Transformation Systems + Svetlana Arifulina, Christian Soltenborn and Gregor Engels. Coverage Criteria for Testing DMM Specifications + Fenglin Han and Peter Herrmann. Remedy of Mixed Initiative Conflicts in Model-based System Engineering + Amir Hossein Ghamarian and Arend Rensink. Graph Passing in Graph Transformation + Christine Natschläger and Klaus-Dieter Schewe. A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation + Sonja Maier and Mark Minas. Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout + Tamim Khan, Olga Runge and Reiko Heckel. Visual Contracts as Test Oracle in AGG 2.0 -------------------------------------------------------------------------------- Registration and Accomodation: ------------------------------ Registration to the workshop is open at http://www.etaps.org/2012/registration Regarding accommodation the ETAPS local organizers have made block bookings at and obtained favorable rates from a number of central hotels, with the discount from the rack rate ranging from symbolic up to as much as 50 per cent, see http://www.etaps.org/2012/accommodation Many of these hotels keep the block bookings and offer their special rates only until ** Sunday 29 January **, although some are less strict. The ETAPS 2012 programme overview is at http://www.etaps.org/2012/programme-overview -------------------------------------------------------------------------------- Important Dates: ---------------- Early registration: January 29, 2012 Normal registration: February 26, 2012. Workshop Dates: March 24-25, 2012 -------------------------------------------------------------------------------- Program Chairs: --------------- Andrew Fish, University of Brighton (UK) Leen Lambers, HPI Potsdam (Germany) -------------------------------------------------------------------------------- Program Committee: ------------------ Paolo Baldan, University of Padova (Italy) Artur Boronat, University of Leicester (UK) Paolo Bottoni, University of Rome (Italy) Andrea Corradini, University of Pisa (Italy) Tim Dwyer, Microsoft Research (USA) Gregor Engels, University of Paderborn (Germany) Claudia Ermel, TU Berlin (Germany) Fabio Gaducci, University of Pisa (Italy) Holger Giese, HPI Potsdam (Germany) Martin Gogolla, University of Bremen (Germany) Esther Guerra, Universidad Autónoma de Madrid (Spain) Reiko Heckel, University of Leicester (UK) Barbara König, University of Duisburg-Essen (Germany) Sabine Kuske, University of Bremen (Germany) Jochen Küster, IBM Research Zurich (Switzerland) Mark Minas, Universität der Bundeswehr München (Germany) Francesco Parisi-Presicce, University of Rome (Italy) Arend Rensink, University of Twente (Netherlands) Emilio Tuosto, University of Leicester (UK) Dániel Varró, TU Budapest (Hungary) -------------------------------------------------------------------------------- Further Information: -------------------- Email: [email protected] Home page: http://www.cem.brighton.ac.uk/gt-vmt12/ -------------------------------------------------------------------------------- Sponsored by ETAPS -------------------------------------------------------------------------------- ---- [[ 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: ]] [[ [email protected] ]]
