[TYPES] GT-VC @ Concur 2005: Second Call for Papers

[Arend Rensink]

[ Deadline for abstracts: May 30. Apologies for multiple postings. ]

                  Second Call for Papers

   Graph Transformation for Verification and Concurrency
     21-22 August 2005, San Francisco, California, USA
            http://trese.cs.utwente.nl/gtvc2005

             Satellite workshop to CONCUR 2005
     23-26 August 2005, San Fransisco, California, USA
            http://www.soe.ucsc.edu/concur05


Aims and scope
--------------

This workshop addresses the application of concurrency theory to
traditional questions of semantics and verification in graph
transformation, and, vice versa, the application of graph transformation
to process calculi and other models of concurrency. Both areas have a
rich tradition and theoretical foundations, and are finding increasing
application in real-world software engineering; yet only the last few
years have seen a convergence of the two fields, at several
points. Areas of common interest are:

   * Visual specification languages and models
   * Behavioural semantics for visual languages
   * Verification and analysis techniques for graph transformation
     systems
   * Operational semantics and behavioural congruence in process calculi
     and graph transformation
   * Behaviour-preserving transformation

Submissions
-----------

We solicit contributions to this workshop in the form of
work-in-progress descriptions (up to 5 pages ) or full papers (up to 15
pages) in any of the above (or related) fields. Please use the ENTCS
format and submit your contribution in PDF. The submission works in two
stages:

   1. Register your paper with title, authors, abstract, etc. by May 29,
      2005
   2. Upload the final version to a link sent to you after the
      registration until June 5, 2005

Both for the registration and for the final phase, please submit your
contributions by email to rensink at cs.utwente.nl.

All submissions will be reviewed by the programme committee. Accepted
contributions will appear in an issue of Elsevier's Electronic Notes in
Theoretical Computer Science, and the authors will be asked to present
their work during the workshop, either as a short presentation (for
work-in-progress) or as a long presentation (for full papers).


Important Dates
---------------

   - 29 May 2005
         abstract submission deadline
   - 5 June 2005
         paper submission deadline
   - 3 July 2005
         notification of acceptance or rejection
   - 17 July 2005
         final version


Programme Committee
-------------------

   * Paolo Baldan, University of Venice
   * Ahmed Bouajjani, University of Paris 7
   * Hartmut Ehrig, Technical University of Berlin
   * Wan Fokkink, Vrije Universiteit Amsterdam
   * Reiko Heckel, University of Leicester (co-chair)
   * Dirk Janssens, University of Antwerp
   * Barbara Koenig, University of Stuttgart (co-chair)
   * Ian Mackie, King's College, London
   * Ugo Montanari, University of Pisa
   * Arend Rensink, University of Twente (chair)
   * Mooly Sagiv, Tel-Aviv University
   * Vladimiro Sassone, University of Sussex
   * Daniel Varro, Budapest University of Technology and Economics
   * Nobuko Yoshida, Imperial College, London


Organizers
----------

   * Chair: Arend Rensink, University of Twente
        (rensink at cs.utwente.nl)
   * Co-chair: Reiko Heckel, University of Paderborn
        (reiko at mcs.le.ac.uk)
   * Co-chair: Barbara Koenig, University of Stuttgart
        (koenigba at fmi.uni-stuttgart.de)