[TYPES/announce] 2nd CfP GT-VC 2006 (Graph Transformation for Verification and Concurrency); deadline 22 May 2006

Arend Rensink rensink at cs.utwente.nl
Thu May 11 02:39:50 EDT 2006


[ We apologise for the reception of multiple copies. ]

***************************************************************************

CALL FOR PAPERS GT-VC 2006

Second Workshop on 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/

***************************************************************************

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 fields or on related topics. 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 22, 2006
2. Submit the final version until May 29, 2006

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
papers) or as a long presentation (for full papers).

Important Dates

22 May 2006	abstract submission deadline
29 May 2006	paper submission deadline
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 Stuttgart (co-chair)
* Ian Mackie, King's College, London
* Ugo Montanari, University of Pisa
* Arend Rensink, University of Twente (chair)
* Vladimiro Sassone, University of Southhampton
* Daniele Varacca, Imperial College London
* Dániel Varró, Budapest University of Technology and Economics

Organizers

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







More information about the Types-announce mailing list