GT-VC 2006
Graph Transformation for Verification and Concurrency

31 August 2006, Bonn, Germany
http://www.fmi.uni-stuttgart.de/szs/events/gtvc2006/

Satellite workshop of CONCUR 2006
27-30 August 2006, Bonn, Germany
http://depend.cs.uni-sb.de/concur2006/

Workshop programme
Electronic version of the proceedings

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:

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 fields or on related topics. Please use the ENTCS format and submit your contribution in PDF.

You can register as an author and submit a paper here.

All submissions will be reviewed by the programme committee. Accepted full papers will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science, while authors of work-in-progress papers might be given the chance to extend their articles to an ENTCS contribution. All 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

2 June 2006
abstract and paper submission deadline (extended)
30 June 2006
notification of acceptance or rejection
14 July 2006
final version

Programme Committee

Organizers