[ecoop-info] CfP GT-VMT 2011: extended deadlines and special issue of JVLC confirmed

Leonardo Mariani mariani at disco.unimib.it
Sat Dec 11 16:38:03 CET 2010


Call for Papers *** extended deadlines and special issue of JVLC confirmed
***

 

10th International Workshop on Graph Transformation and Visual Modeling
Techniques (GT-VMT 2011)

 

http://www.di.unipi.it/gt-vmt/

 

Satellite Event of ETAPS 2011, Saarbrucken, April 2-3 2011

 

 

Scope

-----

 

GT-VMT 2011 is the tenth 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.

 

This year's workshop has a special focus on the visualisation, simulation,
and verification of evolving systems. In particular, the workshop will
center on the analysis of changes, upgrades and any sort of evolution that
can target software systems, possibly with those run-time features that are
often present in modern architectures, such as the plug-in based and service
oriented ones.

 

As a summary, topics relevant to the scope of the workshop include (but not
restricted to) the following:

 

    * visual / graph-based analysis of evolution in software systems (incl.
verification & validation, static & dynamic analysis techniques)

    * application of visual / graph-based modeling techniques in engineering
and designing evolving systems

    * conformance analysis of evolving systems

    * formal specification of run-time evolving systems, incl. plug-in based
and service-oriented architectures

    * on-the-fly and in-the-field V&V of run-time evolving systems

    * model-driven development of evolving systems

    * model transformations and their application to evolving systems

    * case studies and novel application areas

    * tool support

 

 

Important Dates

----------------

December 23, 2010                        Abstract Submission

December 29, 2010                        Paper Submission Deadline

January 30, 2011                              Notification of Acceptance

February 7, 2011                             Camera Ready Version

 

Submissions

--------------

The proceedings of this workshop will be published in the journal Electronic
Communications of the EASST. Papers should not exceed 12 pages. The deadline
for Abstract Submission is December 14th. An extended version of the best
papers appeared in the workshop will appear in a special issue of the
Journal of Visual Languages and Computing.

 

Organizers:

--------------

Fabio Gadducci, University of Pisa, 

Leonardo Mariani, University of Milano Bicocca

 

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)

Holger Giese, HPI Potsdam (Germany)

Ekkart Kindler, TU Denmark (Denmark)

Barbara König, University of Duisburg-Essen (Germany)

Fabrice Kordon, Université Pierre et Marie Curie (France)

Jochen Küster, IBM Research Zurich (Switzerland)

Juan de Lara, Universidad Autónoma de Madrid (Spain)

Alberto Lluch Lafuente, IMT Institute for Advanced Studies Lucca (Italy)

Mark Minas, Universität der Bundeswehr München (Germany)

Henry Muccini, University of L'Aquila (Italy)

Flavio Oquendo, Université de Bretagne Sud (France)

Francesco Parisi-Presicce, University of Rome (Italy)

Arend Rensink, University of Twente (Netherlands)

Gabriele Täntzer, University of Marburg (Germany)

Emilio Tuosto, University of Leicester (UK)

Dániel Varró, TU Budapest (Hungary)

 

For more information, please contact Fabio Gadducci (gadducci at di.unipi.it)
or Leonardo Mariani (mariani at disco.unimib.it).

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20101211/0a948188/attachment-0001.html 


More information about the ecoop-info mailing list