***************************************************************************
CALL FOR PAPERS GT-VC 2007 *************************************************************************** Third Workshop on Graph Transformation for Verification and Concurrency 3 September 2007, Gulbenkian Foundation, Lisbon, Portugal http://www.ti.inf.uni-due.de/events/gtvc2007/ Satellite workshop of CONCUR 2007 3-8 September 2007, Lisbon, Portugal http://concur07.di.fc.ul.pt/ *************************************************************************** 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 * Logics for graph transformation systems Submissions We solicit contributions to this workshop in the form of work-in-progress descriptions (up to 10 pages, but shorter submissions are also welcome) 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. All submissions will be reviewed by the programme committee. We plan to publish accepted full papers 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 of accepted papers 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 21 May 2007 abstract submission deadline 28 May 2007 paper submission deadline 6 July 2007 notification of acceptance or rejection 20 July 2007 final version Invited Talks We will have a joint invited talk with EXPRESS 2007, given by Björn Victor. A second invited talk is planned. Programme Committee * Paolo Baldan, University of Venice * Andrea Corradini, University of Pisa * Dino Distefano, Queen Mary University London * 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 (chair) * Ian Mackie, King's College, London * Ugo Montanari, University of Pisa * Detlef Plump, University of York * Arend Rensink, University of Twente (co-chair) * Pawel Sobocinski, University of Cambridge * Daniele Varacca, PPS, Université Paris 7 * Dániel Varró, Budapest University of Technology and Economics Organizers * Chair: Barbara König, University of Duisburg-Essen ([EMAIL PROTECTED]), * Co-chair: Reiko Heckel, University of Leicester ([EMAIL PROTECTED]) * Co-chair: Arend Rensink, University of Twente ([EMAIL PROTECTED]) ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
