[TYPES/announce] GT-VMT 2010: cfp

[Emilio Tuosto]

================================================================
                       Call for Participation

      9th International Workshop on Graph Transformation
         and Visual Modeling Techniques (GT-VMT 2010)

            http://www.cs.le.ac.uk/events/gtvmt10/

    Satellite Event of ETAPS 2010, Cyprus -- March 20-21, 2010
  ==============================================================

* Scope *

  GT-VMT 2010 is the ninth 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.  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 semantic level
  (e.g.,   for  model   analysis,   transformation,  and   consistency
  management)  in different domains,  such as  UML, Petri  nets, Graph
  Transformation or Business Process/Workflow Models.


* Workshop Program

SATURDAY 20 MARCH 2010

9:00-9:15   Opening

9:15-10:30  Invited talk: Fernando Orejas:  Symbolic Attributed
Graphs and Attributed Graph Transformation

10:30-11:00     Break

11:00-12:30     Session on Foundations

Maarten de Mol and Arend Rensink. A Graph Representation for
Ordered Edges.

Davide Grohmann and Marino Miculan. Graph Algebras for Bigraphs.

Christoph Blume, Sander Bruggink, and Barbara K�nig. Recognizable
Graph Languages for Checking Invariants.

12:30-14:00 Lunch

14:00-15:30 Session on Modeling and Modeling Environments

Frank Hermann, Andrea Corradini, Hartmut Ehrig, and Barbara K�nig.
Efficient Process Analysis of Transformation Systems Based on
Petri nets.

Berthold Hoffmann and Mark Minas. Defining Models - Meta Models
versus Graph Gammars.

Torsten Strobl and Mark Minas. Specifying and generating editing
environments for interactive animated visual models.

15:30-16:00 Break

16:00-17:00 Session on Interactions

Vojtech Rehak, Petr Slovak, Jan Strejcek, and Loic Helouet.
Decidable Race Condition and Open Coregions in HMSC.

Abubakar Hassan, Ian Mackie, and Shinya Sato. A light-weight
abstract machine for interaction nets.

17:00-17:30 Discussion

SUNDAY 21 MARCH 2010

9:30-11:00 Session on Model Transformation

Eugene Syriani and Hans Vangheluwe. De-/Re-constructing Model
Transformation Languages.

Bernhard Schaetz. Verification of Model Transformations.

Paolo Bottoni, Andrew Fish, and Francesco Parisi-Presicce.
Preserving constraints in horizontal model transformations.

11:00-11:30 Break

11:30-12:30 Session on Foundations

Paolo Torrini, Reiko Heckel, Istvan Rath, and Gabor Bergmann.
Stochastic Graph Transformation with Regions.

Wolfram Kahl. Cotabulations, Bicolimits and Van-Kampen Squares in
Collagories.

12:30-14:00 Lunch

* Workshop organizers

Jochen Kuester, IBM Research, Switzerland
Emilio Tuosto, University of Leicester, UK

* Program Committee

Paolo Baldan  (University of Padova, Italy)
Artur Boronat (University of Leicester, UK)
Andrea Corradini (University of Pisa, Italy)
Claudia Ermel (TU Berlin, Germany)
Gregor Engels (University of Paderborn, Germany)
Reiko Heckel (University of Leicester, UK)
Thomas Hildebrandt (ITU, Denmark)
Holger Giese (HPI Potsdam, Germany)
Barbara K�nig (University of Duisburg-Essen, Germany)
Jochen K�ster (IBM Research - Zurich, Germany)
Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
Juan de Lara (Universidad Aut�noma de Madrid, Spain)
Mark Minas (Universit�t der Bundeswehr M�nchen, Germany)
Francesco Parisi-Presicce (University of Rome, Italy)
Arend Rensink (University of Twente, Netherlands)
Gabriele Taentzer (University of Marburg, Germany)
Emilio Tuosto (University of Leicester, UK)
D�niel Varr� (TU Budapest, Hungary)
Erhard Weinell (RWTH Aachen University, Germany)
Albert Z�ndorf (University of Kassel, Germany)


* More information on the workshop is available through the
webpage: http://www.cs.le.ac.uk/events/gtvmt10/

-- 




***************************************************************

	Emilio Tuosto

	Department of Computer Science
	University of Leicester
	Leicester, LE1 7RH
	United Kingdom

	Tel. +44 (0) 116 252 5392
	Fax. +44 (0) 116 252 3915

	homepage -> http://www.cs.le.ac.uk/people/et52

***************************************************************

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100309/901fb8fd/attachment-0001.htm