GT-VC 2005
Graph Transformation for Verification and Concurrency

22 August 2005, San Francisco, California, USA
The workshop takes place in the "Russian Room" of the conference hotel

Satellite workshop to CONCUR 2005
23-26 August 2005, San Fransisco, California, USA

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:


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 June 5, 2005 (extended)
  2. Upload the final version to a link sent to you after the registration until June 12, 2005 (extended)
Both for the registration and for the final phase, please go to

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

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

Programme Committee