GT-VC 2006 
Graph Transformation for Verification and Concurrency
Workshop programme
Electronic version of the proceedings
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 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
- Paolo Baldan,
University
of Venice
- Dino Distefano,
Queen Mary University London
- Wan
Fokkink, Vrije Universiteit Amsterdam
- Peter Habermehl,
LIAFA, Université Paris 7
- Reiko Heckel,
University of Leicester (co-chair)
- Dirk Janssens,
University of Antwerp
- Barbara
König,
University of Duisburg-Essen (co-chair)
- Ian Mackie,
King's
College, London
- Ugo Montanari,
University of Pisa
- Arend Rensink,
University of Twente (chair)
- Vladimiro Sassone,
University of Southampton
- Daniele Varacca, Imperial College London
- Dániel
Varró,
Budapest University of Technology and Economics
Organizers